Author:Matthias AlthoffPublications |
---|
| | | | 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 | | | | | | | | Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling and Stefan Schupp | | | | | | | |
Keyphrasesaffine arithmetic, algorithmic verification, Applied verification, ARCH-COMP2, autonomous vehicles2, C2E2, collision avoidance, competition, constrained zonotopes, continuous systems, control theory, CORA5, ellipsoids, Flow*, formal verification, guaranteed state estimation, hybrid systems6, Hydra2, Hylaa, Hylaa-Continuous, interval arithmetic2, interval observers, INTLAB, JuliaReach2, linear continuous dynamics2, MATLAB2, motion planning, nonlinear dynamics2, propagation-based observers, reachability2, reachability analysis2, rigorous function bounds, set-representations, SpaceEx2, strip-based observers, Taylor models, tool, tools2, traffic simulation, verification, XSpeed, zonotopes. |
|