Author:Christian Schilling

Publications

Keyphrases

Applied verification, ARCH-COMP3, Artificial Intelligence, C2E2, competition, continuous systems, CORA3, dynamical systems, formal methods, formal verification2, hybrid systems7, Hydra2, Hylaa, Hylaa-Continuous, Hypy, Hyst, intelligent control systems, JuliaReach3, linear continuous dynamics3, machine learning, Neural Network Control Systems2, neural networks2, nonlinear dynamics2, nonlinear systems, parameter identification, pseudo-invariant, reachability3, reachability analysis, SpaceEx2, tool, tools2, verification2, XSpeed.