Chelsea Sidrane

19 papers A* 3C 1Journal 12Unranked 3
YearRankTypeTitle / Venue / Authors
2026 — conf
A Case for Causal Reinforcement Learning in Longitudinal Vehicle Control.
ICAART (3)
Jule Schmidt, Xin Tao, Chelsea Sidrane, Swarup Kumar Mohalik, Akhil Prasad, Jana Tumova, Nils Jansen
2026 J jnl
Marinarium: a New Arena to Bring Maritime Robotics Closer to Shore.
CoRR
Ignacio Torroba, David Dorner, Victor Nan Fernandez-Ayala, Mart Kartasev, Joris Verhagen, Elias Krantz, Gregorio Marchesini, Carl Ljung, Pedro Roque, Chelsea Sidrane, Linda F. van der Spaa, Nicola De Carli, Petter Ögren, Christer Fuglesang, Jana Tumova, Dimos V. Dimarogonas, Ivan Stenius
2026 J jnl
Validation of Space Robotics in Underwater Environments via Disturbance Robustness Equivalency.
CoRR
Joris Verhagen, Elias Krantz, Chelsea Sidrane, David Dorner, Nicola De Carli, Pedro Roque, Huina Mao, Gunnar Tibert, Ivan Stenius, Christer Fuglesang, Dimos V. Dimarogonas, Jana Tumova
2025 J jnl
BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems.
CoRR
Chelsea Sidrane, Jana Tumova
2025 A* conf
Efficient Non-Myopic Layered Bayesian Optimization for Large-Scale Bathymetric Informative Path Planning.
ICRA
Alexander Kiessling, Ignacio Torroba, Chelsea Sidrane, Ivan Stenius, Jana Tumova, John Folkesson
2025 C conf
TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems.
ACC
Chelsea Sidrane, Jana Tumova
2025 J jnl
Verifying Nonlinear Neural Feedback Systems using Polyhedral Enclosures.
CoRR
Samuel I. Akinwande, Chelsea Sidrane, Mykel J. Kochenderfer, Clark W. Barrett
2024 J jnl
Efficient Non-Myopic Layered Bayesian Optimization For Large-Scale Bathymetric Informative Path Planning.
CoRR
Alexander Kiessling, Ignacio Torroba, Chelsea Sidrane, Ivan Stenius, Jana Tumova, John Folkesson
2024 J jnl
TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems.
CoRR
Chelsea Sidrane, Jana Tumova
2022 J jnl
Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems.
CoRR
Nicholas Rober, Sydney M. Katz, Chelsea Sidrane, Esen Yel, Michael Everett, Mykel J. Kochenderfer, Jonathan P. How
2022 J jnl
OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems.
J. Mach. Learn. Res.
Chelsea Sidrane, Amir Maleki, Ahmed Irfan, Mykel J. Kochenderfer
2022 J jnl
Verifying Inverse Model Neural Networks.
CoRR
Chelsea Sidrane, Sydney M. Katz, Anthony Corso, Mykel J. Kochenderfer
2021 J jnl
OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems.
CoRR
Chelsea Sidrane, Amir Maleki, Ahmed Irfan, Mykel J. Kochenderfer
2021 A* conf
Safety Assurance for Systems with Machine Learning Components.
AAAI
Chelsea Sidrane
2020 — conf
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
ARCH
Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang
2019 A* conf
HG-DAgger: Interactive Imitation Learning with Human Experts.
ICRA
Michael Kelly, Chelsea Sidrane, Katherine Rose Driggs-Campbell, Mykel J. Kochenderfer
2019 J jnl
Machine Learning for Generalizable Prediction of Flood Susceptibility.
CoRR
Chelsea Sidrane, Dylan J. Fitzpatrick, Andrew Annex, Diane O'Donoghue, Yarin Gal, Piotr Bilinski
2018 — conf
Closed-Loop Planning for Disaster Evacuation with Stochastic Arrivals.
ITSC
Chelsea Sidrane, Mykel J. Kochenderfer
2018 J jnl
HG-DAgger: Interactive Imitation Learning with Human Experts.
CoRR
Michael Kelly, Chelsea Sidrane, Katherine Rose Driggs-Campbell, Mykel J. Kochenderfer