Author:Matthias Althoff

Publications

Keyphrases

algorithmic verification, CORA2, hybrid systems2, interval arithmetic, MATLAB2, reachability2, set-representations, tool, tools, verification.