Author:Nathalie Cauchi

Publications

Keyphrases

Building Automation Systems, control synthesis2, formal verification, hybrid models, probabilistic model checking, probabilistic reachability analysis, probabilistic safety, probabilistic safety and reachability, simulation, simulations, statistical model checking, stochastic hybrid systems, stochastic models2, Thermal modelling.