research
∙
02/28/2022
Formally verified asymptotic consensus in robust networks
Distributed architectures are used to improve performance and reliabilit...
share
research
∙
02/11/2022
Formal verification of iterative convergence of numerical algorithms
Physical systems are usually modeled by differential equations, but solv...
research
∙
02/11/2022
Dandelion: Certified Approximations of Elementary Functions
Elementary function operations such as sin and exp cannot in general be ...
research
∙
03/25/2021