Author:Fedor Shmarov

Publications

Keyphrases

Bounded Model Checking, control synthesis3, control theory, formal verification3, hybrid models, interval arithmetics, Markov chains, Markov Decision Processes, model checking, probabilistic model checking, probabilistic safety and reachability, Satisfiability Modulo Theory, simulations, statistical model checking, stochastic hybrid system, stochastic models3.