Author:Marcelo Forets

Publications

Keyphrases

Applied verification, ARCH-COMP4, Artificial Intelligence, benchmark, C2E2, competition, continuous systems2, CORA4, dynamical systems, formal methods2, formal verification3, hybrid systems8, Hydra2, Hylaa, Hylaa-Continuous, intelligent control systems, JuliaReach4, linear continuous dynamics4, machine learning, mode transformation, Neural Network Control Systems3, Neural Network Verification, neural networks3, nonlinear dynamics3, nonlinear systems, reachability2, reachability analysis2, Simulink, SpaceEx3, tools2, verification3, verse, wind turbine, XSpeed.