Author:Stefan Schupp

Publications

Keyphrases

ARCH-COMP2, C2E2, control synthesis2, control theory, CORA2, formal verification2, hybrid models, hybrid systems2, Hydra2, Hylaa, Hylaa-Continuous, JuliaReach2, linear continuous dynamics2, model checking, probabilistic model checking, probabilistic safety and reachability, simulations, SpaceEx2, statistical model checking, stochastic models2, XSpeed.