Sidrane, Chelsea

2 publications

JMLR 2022 OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems Chelsea Sidrane, Amir Maleki, Ahmed Irfan, Mykel J. Kochenderfer

AAAI 2021 Safety Assurance for Systems with Machine Learning Components Chelsea Sidrane