Author:Christian Schilling

Publications

Keyphrases

Applied verification, ARCH-COMP4, Artificial Intelligence, C2E2, competition, continuous systems2, CORA4, dynamical systems, formal methods2, formal verification3, hybrid systems9, Hydra2, Hylaa, Hylaa-Continuous, Hypy, Hyst, intelligent control systems, JuliaReach4, linear continuous dynamics4, machine learning, Neural Network Control Systems3, Neural Network Verification, neural networks3, nonlinear dynamics3, nonlinear systems, parameter identification, pseudo-invariant, reachability3, reachability analysis2, SpaceEx2, tool, tools2, verification4, verse, XSpeed.