Author:Marcelo ForetsPublications |
---|
| | Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling and Mark Wetzlinger | Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp and Mark Wetzlinger | Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders and Christian Schilling | | |
KeyphrasesApplied 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. |
|