Author:Niklas Kochdumper

Publications

Keyphrases

affine arithmetic, ARCH-COMP, autonomous vehicles, C2E2, collision avoidance, competition, control theory, CORA2, Flow*, formal verification, hybrid systems2, Hydra, Hylaa, Hylaa-Continuous, interval arithmetic, INTLAB, JuliaReach, linear continuous dynamics, nonlinear dynamics, rigorous function bounds, SpaceEx, Taylor models, tools, XSpeed.