research
∙
09/28/2022
Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems
The increasing prevalence of neural networks (NNs) in safety-critical ap...
share
research
∙
02/04/2022
Verifying Inverse Model Neural Networks
Inverse problems exist in a wide variety of physical domains from aerosp...
research
∙
08/03/2021
OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems
Deep learning methods can be used to produce control policies, but certi...
research
∙
10/15/2019
Machine Learning for Generalizable Prediction of Flood Susceptibility
Flooding is a destructive and dangerous hazard and climate change appear...
research
∙
10/05/2018