Chelsea Sidrane

1 catalog papers. Identity-linked publications and additional name matches are distinguished below.

ORCID: 0000-0002-2478-4570

Publications

• OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems — Journal of Machine Learning Research 2022 (name-matched, not ORCID-linked)