Author:Sadegh Soudjani

Publications

Keyphrases

control synthesis2, control theory, formal verification2, hybrid models, model checking, probabilistic model checking, probabilistic safety and reachability, simulations, statistical model checking, stochastic models2.