Chelsea Sidrane
发表
Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems
Mykel J. Kochenderfer,
Sydney M. Katz,
J. How,
2022,
ArXiv.
OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems
Mykel J. Kochenderfer,
Ahmed Irfan,
Chelsea Sidrane,
2021,
J. Mach. Learn. Res..
Katherine Rose Driggs-Campbell,
Mykel J. Kochenderfer,
Michael Kelly,
2018,
2019 International Conference on Robotics and Automation (ICRA).
Chelsea Sidrane,
Chelsea Sidrane,
2021,
AAAI.
Mykel J. Kochenderfer,
Chelsea Sidrane,
Chelsea Sidrane,
2018,
2018 21st International Conference on Intelligent Transportation Systems (ITSC).
Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems
Mykel J. Kochenderfer,
Sydney M. Katz,
J. How,
2022,
IEEE Open Journal of Control Systems.
Yarin Gal,
Piotr Bilinski,
Dylan J. Fitzpatrick,
2019,
ArXiv.
Sydney M. Katz,
Mykel J. Kochenderfer,
Anthony Corso,
2022,
ArXiv.