Author:Mark Wetzlinger

Publications

Keyphrases

Applied verification, ARCH-COMP5, C2E2, continuous systems3, CORA6, dynamical systems, formal methods2, formal verification2, hybrid systems9, Hydra2, Hylaa, Hylaa-Continuous, JuliaReach5, linear continuous dynamics5, linear systems, nonlinear dynamics3, nonlinear systems, polyhedra, Polytopes, Randomized testing, reachability analysis4, set-based computing, set-representations, SpaceEx2, tools, verification2, verse, XSpeed.