Author:Christian Schilling

Publications

Keyphrases

Applied verification, ARCH-COMP5, Artificial Intelligence, C2E2, competition, continuous systems3, CORA5, dynamical systems, formal methods3, formal verification3, hybrid systems11, Hydra2, Hylaa, Hylaa-Continuous, Hypy, Hyst, intelligent control systems, JuliaReach5, linear continuous dynamics5, machine learning, Neural Network Control Systems3, Neural Network Verification, neural networks3, nonlinear dynamics4, nonlinear systems, parameter identification, pseudo-invariant, reachability3, reachability analysis3, SpaceEx2, tool, tools2, verification5, verse, XSpeed.