Author:Matthias Althoff

Publications

Keyphrases

affine 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.