Author:Niklas Kochdumper

Publications

Keyphrases

affine arithmetic, ARCH-COMP, C2E2, competition, 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.