research
∙
09/01/2023
Security Verification of Low-Trust Architectures
Low-trust architectures work on, from the viewpoint of software, always-...
share
research
∙
07/04/2023
Falsification of a Vision-based Automatic Landing System
At smaller airports without an instrument approach or advanced equipment...
research
∙
07/15/2022
Automating Geometric Proofs of Collision Avoidance with Active Corners
Avoiding collisions between obstacles and vehicles such as cars, robots ...
research
∙
07/09/2022
Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes
Backward reachability analysis is essential to synthesizing controllers ...
research
∙
02/28/2022
Formally verified asymptotic consensus in robust networks
Distributed architectures are used to improve performance and reliabilit...
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
A formal proof of the Lax equivalence theorem for finite difference schemes
The behavior of physical systems is typically modeled using differential...
research
∙
03/15/2021
A Program Logic to Verify Signal Temporal Logic Specifications of Hybrid Systems: Extended Technical Report
Signal temporal logic (STL) was introduced for monitoring temporal prope...
research
∙
05/13/2020
Grand Challenges for Embedded Security Research in a Connected World
Protecting embedded security is becoming an increasingly challenging res...
research
∙
03/02/2019