Closed-Loop Planning for Disaster Evacuation with Stochastic Arrivals. - Chelsea Sidrane; Mykel J. Kochenderfer (ITSC, 2018)

HG-DAgger: Interactive Imitation Learning with Human Experts. - Michael Kelly; Chelsea Sidrane; Katherine Rose Driggs-Campbell; Mykel J. Kochenderfer (ICRA, 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)

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 015 (ARCH, 2020)

Safety Assurance for Systems with Machine Learning Components. - Chelsea Sidrane (AAAI, 2021)

Verifying Inverse Model Neural Networks. - Chelsea Sidrane; Sydney M. Katz; Anthony Corso 001; Mykel J. Kochenderfer (CoRR, 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)

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)

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)

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems. - Chelsea Sidrane; Jana Tumova (ACC, 2025)

Verifying Nonlinear Neural Feedback Systems using Polyhedral Enclosures. - Samuel I. Akinwande; Chelsea Sidrane; Mykel J. Kochenderfer; Clark W. Barrett (CoRR, 2025)

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems. - Chelsea Sidrane; Jana Tumova (CoRR, 2025)