Author:Marcelo Forets

Publications

Keyphrases

ARCH-COMP, benchmark, C2E2, competition, CORA, formal verification, hybrid systems2, Hydra, Hylaa, Hylaa-Continuous, JuliaReach, linear continuous dynamics, mode transformation, nonlinear dynamics, Simulink, SpaceEx2, tools, wind turbine, XSpeed.