Closing the loop: branch-and-bound for scalable verification of nonlinear neural feedback systems
Read the original at arxiv.org→arXiv:2609.16298v1 Announce Type: new Abstract: Despite recent advances in the verification of nonlinear neural feedback systems, scalability remains the central obstacle, as state-of-the-art solvers do not yet...
Original headline: "Closing the Loop: Branch-and-Bound for Scalable Verification of Nonlinear Neural Feedback Systems"
Coverage timeline
- Sep 16, 04:00 UTC arXiv cs.AI lead source Closing the Loop: Branch-and-Bound for Scalable Verification of Nonlinear Neural Feedback Systems