Chelsea Sidrane
发表
Yarin Gal,
Piotr Bilinski,
Dylan J. Fitzpatrick,
2019,
ArXiv.
Mykel J. Kochenderfer,
Chelsea Sidrane,
Chelsea Sidrane,
2018,
2018 21st International Conference on Intelligent Transportation Systems (ITSC).
Katherine Rose Driggs-Campbell,
Mykel J. Kochenderfer,
Michael Kelly,
2018,
2019 International Conference on Robotics and Automation (ICRA).
OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems
pdf
Ahmed Irfan,
Chelsea Sidrane,
Mykel J. Kochenderfer,
2021,
ArXiv.
Chelsea Sidrane,
Chelsea Sidrane,
2021,
AAAI.