Author:Matthias Althoff

Publications

Keyphrases

affine arithmetic, algorithmic verification, ARCH-COMP, autonomous vehicles, C2E2, competition, CORA4, Flow*, formal verification, hybrid systems4, Hydra, Hylaa, Hylaa-Continuous, interval arithmetic2, INTLAB, JuliaReach, linear continuous dynamics, MATLAB2, motion planning, nonlinear dynamics, reachability2, rigorous function bounds, set-representations, SpaceEx, Taylor models, tool, tools2, traffic simulation, verification, XSpeed.