Chelsea Sidrane

2 papers · 2021–2022 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (13)

Conferences

AAAI (1) JMLR (1)

Top co-authors

Amir Maleki (1) Mykel J. Kochenderfer (1) Ahmed Irfan (1)

Keywords

neural network verification (2) nonlinear dynamical system (1) safety verification (1) control policy (1) safety-critical system (1) adaptive testing (1) safety assurance (1) safe deep learning (1) reachable set computation (1) formal verification (1) piecewise linear bound (1)

Papers

OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems JMLR 2022

Safety Assurance for Systems with Machine Learning Components AAAI 2021