Author:Nathalie Cauchi

Publications

Keyphrases

Building Automation Systems, control synthesis4, control theory, formal verification3, hybrid models, Markov chains, Markov Decision Processes, model checking, probabilistic model checking, probabilistic reachability analysis, probabilistic safety, probabilistic safety and reachability, simulation, simulations, statistical model checking, stochastic hybrid systems, stochastic models4, Thermal modelling.