Author:Matthias Althoff

Publications

Keyphrases

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