2 papers
cs.LO2021
Formal verification of octorotor flight envelope using barrier functions and SMT solving
Byron Heersink, Pape Sylla, Michael A. Warren
This paper introduces an approach for formally verifying the safety of the flight controller of an octorotor platform. Our method involves finding regions of the octorotor's state…
cs.LG2020
Generate and Verify: Semantically Meaningful Formal Analysis of Neural Network Perception Systems
Chris R. Serrano, Pape M. Sylla, Michael A. Warren
Testing remains the primary method to evaluate the accuracy of neural network perception systems. Prior work on the formal verification of neural network perception models has been…