Author:Majid Zamani

Keyphrases

control synthesis, formal verification, hybrid models, probabilistic model checking, probabilistic safety and reachability, simulations, statistical model checking, stochastic models.