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
