Author:Marcelo Forets

Publications

Keyphrases

Applied verification, ARCH-COMP5, Artificial Intelligence, benchmark, C2E2, competition, continuous systems3, CORA5, dynamical systems, formal methods3, formal verification3, hybrid systems10, Hydra2, Hylaa, Hylaa-Continuous, intelligent control systems, JuliaReach5, linear continuous dynamics5, machine learning, mode transformation, Neural Network Control Systems3, Neural Network Verification, neural networks3, nonlinear dynamics4, nonlinear systems, reachability2, reachability analysis3, Simulink, SpaceEx3, tools2, verification4, verse, wind turbine, XSpeed.