research
∙
12/02/2021
Formal verification of a controller implementation in fixed-point arithmetic
For the implementations of controllers on digital processors, certain li...
share
research
∙
04/06/2021
Extraction of a computer-certified ODE solver
Reliably determining system trajectories is essential in many analysis a...
research
∙
06/17/2020
