Search Results for author:
Found 4 papers, 1 papers with code
Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems
As neural networks (NNs) become more prevalent in safety-critical applications such as control of vehicles, there is a growing need to certify that systems with NN components are safe.
Verifying Inverse Model Neural Networks
When the forward model that produced the observations is nonlinear and stochastic, solving the inverse problem is very challenging.
OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems
In response to this challenge, we present OVERT: a sound algorithm for safety verification of nonlinear discrete-time closed loop dynamical systems with neural network control policies.
Machine Learning for Generalizable Prediction of Flood Susceptibility
In this work, we develop generalizable, multi-basin models of river flooding susceptibility using geographically-distributed data from the USGS stream gauge network.
