Chelsea Sidrane

According to our database, Chelsea Sidrane authored at least 8 papers between 2018 and 2022.

Collaborative distances:

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

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