Author:Marcelo Forets

Publications

Keyphrases

Applied verification, ARCH-COMP3, Artificial Intelligence, benchmark, C2E2, competition, continuous systems, CORA3, dynamical systems, formal methods, formal verification2, hybrid systems6, Hydra2, Hylaa, Hylaa-Continuous, intelligent control systems, JuliaReach3, linear continuous dynamics3, machine learning, mode transformation, Neural Network Control Systems2, neural networks2, nonlinear dynamics2, nonlinear systems, reachability2, reachability analysis, Simulink, SpaceEx3, tools2, verification, wind turbine, XSpeed.