Author:Matthias AlthoffPublications |
---|
| | | | | | | | | Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Clemens Blab, Marcelo Forets, Yuhao Jia, Taylor T Johnson, Manuel Kranzl, Tobias Ladner, Lukas Linauer, Philipp Neubauer, Sophie Neubauer, Christian Schilling, Huan Zhang and Xiangru Zhong | | | | | | | 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 | | | Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T Johnson, Tobias Ladner, Wenchao Li, Christian Schilling and Qi Zhu | | | | | | | 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-COMP5, autonomous vehicles2, benchmark, C2E2, collision avoidance, competition, conformance checking, Conformance synthesis, constrained zonotopes, continuous systems3, control theory, CORA11, differential-algebraic equations, dynamical systems, ellipsoidal operations, Ellipsoidal Toolbox, ellipsoids2, Flow*, formal methods3, formal verification5, guaranteed state estimation, hybrid systems12, Hydra2, Hylaa, Hylaa-Continuous, interval arithmetic2, interval observers, INTLAB, JuliaReach5, linear continuous dynamics5, linear systems, MATLAB2, motion planning, Neural Network Control Systems2, Neural Network Verification, neural networks2, nonlinear dynamics4, nonlinear systems, polyhedra, Polytopes, power systems, propagation-based observers, Randomized testing, reachability3, reachability analysis6, Reachset conformance, region of attraction, rigorous function bounds, robustness analysis, set-based computing, Set containment, set-representations2, SpaceEx2, strip-based observers, Taylor models, tool, tools3, traffic simulation, transient stability, verification5, verse, XSpeed, zonotopes. |
|