Author:Abolfazl Lavaei

Publications

Keyphrases

control synthesis4, control theory, formal verification4, hybrid models, Markov chains2, Markov Decision Processes2, model checking, probabilistic model checking, probabilistic safety and reachability, simulations, statistical model checking, stochastic models4.