Author:Fabian Immler

Publications

Keyphrases

affine arithmetic, competition, continuous systems, formal verification, HOL, hybrid systems, interactive theorem proving, Isabelle, nonlinear dynamics, ordinary differential equations, Rigorous Numerics, tools2, zonotopes.