no code implementations • 15 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.
2 code implementations • 3 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.
no code implementations • 4 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.
no code implementations • 28 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.