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-COMP4, C2E2, continuous systems2, CORA4, dynamical systems, formal methods, formal verification, hybrid systems7, Hydra2, Hylaa, Hylaa-Continuous, JuliaReach4, linear continuous dynamics4, nonlinear dynamics2, nonlinear systems, reachability analysis2, SpaceEx2, tools, verification, verse, XSpeed. |
|