Author:Stefan Schupp

Publications

Keyphrases

ARCH-COMP2, C2E2, control synthesis4, control theory, CORA2, formal verification4, hybrid models, hybrid systems2, Hydra2, Hylaa, Hylaa-Continuous, JuliaReach2, linear continuous dynamics2, Markov chains2, Markov Decision Processes2, model checking, probabilistic model checking, probabilistic safety and reachability, simulations, SpaceEx2, statistical model checking, stochastic models4, XSpeed.