research
∙
05/10/2022
Envelopes and Waves: Safe Multivehicle Collision Avoidance for Horizontal Non-deterministic Turns
We present an approach to analyzing the safety of asynchronous, independ...
share
research
∙
08/03/2020
Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples
There is great interest in using formal methods to guarantee the reliabi...
research
∙
11/06/2018
