Author:Matthias Althoff

Publications

Keyphrases

affine arithmetic, algorithmic verification, autonomous vehicles, CORA3, Flow*, hybrid systems2, interval arithmetic2, INTLAB, MATLAB2, motion planning, reachability2, rigorous function bounds, set-representations, Taylor models, tool, tools, traffic simulation, verification.