Author:Marcelo Forets

Publications

Keyphrases

Applied verification, ARCH-COMP2, Artificial Intelligence, benchmark, C2E2, competition, continuous systems, CORA2, formal verification, hybrid systems4, Hydra2, Hylaa, Hylaa-Continuous, intelligent control systems, JuliaReach2, linear continuous dynamics2, machine learning, mode transformation, Neural Network Control Systems, neural networks, nonlinear dynamics2, reachability, reachability analysis, Simulink, SpaceEx3, tools, wind turbine, XSpeed.