Search Results for author: Chelsea Sidrane

Found 4 papers, 1 papers with code

Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems

no code implementations28 Sep 2022 Nicholas Rober, Sydney M. Katz, Chelsea Sidrane, Esen Yel, Michael Everett, Mykel J. Kochenderfer, Jonathan P. How

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

no code implementations4 Feb 2022 Chelsea Sidrane, Sydney Katz, Anthony Corso, Mykel J. Kochenderfer

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

2 code implementations3 Aug 2021 Chelsea Sidrane, Amir Maleki, Ahmed Irfan, Mykel J. Kochenderfer

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

no code implementations15 Oct 2019 Chelsea Sidrane, Dylan J Fitzpatrick, Andrew Annex, Diane O'Donoghue, Yarin Gal, Piotr Biliński

In this work, we develop generalizable, multi-basin models of river flooding susceptibility using geographically-distributed data from the USGS stream gauge network.

BIG-bench Machine Learning

Cannot find the paper you are looking for? You can Submit a new open access paper.