Author:Alessandro Abate

Publications

Keyphrases

Building Automation Systems, control synthesis3, control theory, formal verification2, hybrid models, model checking, probabilistic model checking, probabilistic reachability analysis, probabilistic safety, probabilistic safety and reachability, simulation, simulations, statistical model checking, stochastic hybrid systems, stochastic models3, Thermal modelling.