Author:Stefan Schupp

Publications

Keyphrases

ARCH-COMP, C2E2, control synthesis, CORA, formal verification, hybrid models, hybrid systems, Hydra, Hylaa, Hylaa-Continuous, JuliaReach, linear continuous dynamics, probabilistic model checking, probabilistic safety and reachability, simulations, SpaceEx, statistical model checking, stochastic models, XSpeed.