Author:Stefan Schupp

Publications

Keyphrases

ARCH-COMP2, C2E2, control synthesis3, control theory, CORA2, formal verification3, hybrid models, hybrid systems2, Hydra2, Hylaa, Hylaa-Continuous, JuliaReach2, linear continuous dynamics2, Markov chains, Markov Decision Processes, model checking, probabilistic model checking, probabilistic safety and reachability, simulations, SpaceEx2, statistical model checking, stochastic models3, XSpeed.