Author:Matthias Althoff

Publications

Keyphrases

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