Author:Mark WetzlingerPublications |
---|
| | | 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 |
KeyphrasesApplied verification, ARCH-COMP3, C2E2, continuous systems, CORA3, dynamical systems, formal verification, hybrid systems5, Hydra2, Hylaa, Hylaa-Continuous, JuliaReach3, linear continuous dynamics3, nonlinear dynamics, nonlinear systems, reachability analysis, SpaceEx2, tools, XSpeed. |
|