Chelsea Sidrane

According to our database, Chelsea Sidrane authored at least 12 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems.

Chelsea Sidrane, Jana Tumova

CoRR, May, 2025

Verifying Nonlinear Neural Feedback Systems using Polyhedral Enclosures.

Samuel I. Akinwande, Chelsea Sidrane, Mykel J. Kochenderfer, Clark W. Barrett

CoRR, March, 2025

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems.

Chelsea Sidrane, Jana Tumova

Proceedings of the 2025 American Control Conference, 2025

2024

Efficient Non-Myopic Layered Bayesian Optimization For Large-Scale Bathymetric Informative Path Planning.

Alexander Kiessling, Ignacio Torroba, Chelsea Sidrane, Ivan Stenius, Jana Tumova, John Folkesson

CoRR, 2024

2022

OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems.

Chelsea Sidrane, Amir Maleki, Ahmed Irfan, Mykel J. Kochenderfer

J. Mach. Learn. Res., 2022

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

Nicholas Rober, Sydney M. Katz, Chelsea Sidrane, Esen Yel, Michael Everett, Mykel J. Kochenderfer, Jonathan P. How

CoRR, 2022

Verifying Inverse Model Neural Networks.

Chelsea Sidrane, Sydney M. Katz, Anthony Corso, Mykel J. Kochenderfer

CoRR, 2022

2021

Safety Assurance for Systems with Machine Learning Components.

Chelsea Sidrane

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Machine Learning for Generalizable Prediction of Flood Susceptibility.

Chelsea Sidrane, Dylan J. Fitzpatrick, Andrew Annex, Diane O'Donoghue, Yarin Gal, Piotr Bilinski

CoRR, 2019

HG-DAgger: Interactive Imitation Learning with Human Experts.

Michael Kelly, Chelsea Sidrane, Katherine Rose Driggs-Campbell, Mykel J. Kochenderfer

Proceedings of the International Conference on Robotics and Automation, 2019

2018

Closed-Loop Planning for Disaster Evacuation with Stochastic Arrivals.

Chelsea Sidrane, Mykel J. Kochenderfer

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018