Author:Matthias Althoff

Publications

Keyphrases

affine arithmetic, algorithmic verification, Applied verification, ARCH-COMP4, autonomous vehicles2, benchmark, C2E2, collision avoidance, competition, conformance checking, Conformance synthesis, constrained zonotopes, continuous systems2, control theory, CORA9, differential-algebraic equations, dynamical systems, ellipsoidal operations, Ellipsoidal Toolbox, ellipsoids2, Flow*, formal methods2, formal verification4, guaranteed state estimation, hybrid systems10, Hydra2, Hylaa, Hylaa-Continuous, interval arithmetic2, interval observers, INTLAB, JuliaReach4, linear continuous dynamics4, MATLAB2, motion planning, Neural Network Control Systems2, Neural Network Verification, neural networks2, nonlinear dynamics3, nonlinear systems, power systems, propagation-based observers, reachability3, reachability analysis4, Reachset conformance, region of attraction, rigorous function bounds, robustness analysis, Set containment, set-representations, SpaceEx2, strip-based observers, Taylor models, tool, tools3, traffic simulation, transient stability, verification4, verse, XSpeed, zonotopes.