TY  - RPRT
TI  - Closing the Loop: Branch-and-Bound for Scalable Verification of Nonlinear Neural Feedback Systems
AU  - I. Samuel Akinwande
AU  - Mykel J. Kochenderfer
AU  - Clark Barrett
PY  - 2026
UR  - https://arxiv.org/abs/2609.16298
ID  - 2609.16298
ER  -