Author:Mark Wetzlinger

Publications

Keyphrases

Applied verification, ARCH-COMP4, C2E2, continuous systems2, CORA4, dynamical systems, formal methods, formal verification, hybrid systems7, Hydra2, Hylaa, Hylaa-Continuous, JuliaReach4, linear continuous dynamics4, nonlinear dynamics2, nonlinear systems, reachability analysis2, SpaceEx2, tools, verification, verse, XSpeed.