Author:Mark Wetzlinger

Publications

Keyphrases

Applied verification, ARCH-COMP3, C2E2, continuous systems, CORA3, dynamical systems, formal verification, hybrid systems5, Hydra2, Hylaa, Hylaa-Continuous, JuliaReach3, linear continuous dynamics3, nonlinear dynamics, nonlinear systems, reachability analysis, SpaceEx2, tools, XSpeed.