research
∙
07/01/2021
Formal verification of octorotor flight envelope using barrier functions and SMT solving
This paper introduces an approach for formally verifying the safety of t...
share
research
∙
12/16/2020
Generate and Verify: Semantically Meaningful Formal Analysis of Neural Network Perception Systems
Testing remains the primary method to evaluate the accuracy of neural ne...
research
∙
02/27/2019
