Author:Christian Schilling

Publications

Keyphrases

ARCH-COMP, C2E2, competition, CORA, formal verification, hybrid systems3, Hydra, Hylaa, Hylaa-Continuous, Hypy, Hyst, JuliaReach, linear continuous dynamics, nonlinear dynamics, parameter identification, pseudo-invariant, reachability, SpaceEx, tool, tools, verification, XSpeed.