Author:Christian Schilling

Publications

Keyphrases

Applied verification, ARCH-COMP2, Artificial Intelligence, C2E2, competition, continuous systems, CORA2, formal verification, hybrid systems5, Hydra2, Hylaa, Hylaa-Continuous, Hypy, Hyst, intelligent control systems, JuliaReach2, linear continuous dynamics2, machine learning, Neural Network Control Systems, neural networks, nonlinear dynamics2, parameter identification, pseudo-invariant, reachability2, reachability analysis, SpaceEx2, tool, tools, verification, XSpeed.