Author:Alessandro Abate

Publications

Keyphrases

Building Automation Systems, control synthesis5, control theory, formal verification4, hybrid models, Markov chains2, Markov Decision Processes2, model checking, probabilistic model checking, probabilistic reachability analysis, probabilistic safety, probabilistic safety and reachability, simulation, simulations, statistical model checking, stochastic hybrid systems, stochastic models5, Thermal modelling.