Author:Arnd Hartmanns

Publications

Keyphrases

control synthesis3, control theory, formal verification3, hybrid models, Markov chains, Markov Decision Processes, model checking, probabilistic model checking, probabilistic safety and reachability, simulations, statistical model checking, stochastic models3.