Author:Mark WetzlingerPublications |
---|
| | | | | Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger and Daniel Zhuang | | | | 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-COMP5, C2E2, continuous systems3, CORA6, dynamical systems, formal methods2, formal verification2, hybrid systems9, Hydra2, Hylaa, Hylaa-Continuous, JuliaReach5, linear continuous dynamics5, linear systems, nonlinear dynamics3, nonlinear systems, polyhedra, Polytopes, Randomized testing, reachability analysis4, set-based computing, set-representations, SpaceEx2, tools, verification2, verse, XSpeed. |
|