MOOR NEWS
Closing the Loop: Branch-and-Bound for Scalable Verification of Nonlinear Neural Feedback Systems
Research preprint listed by arXiv CS.AI: “Closing the Loop: Branch-and-Bound for Scalable Verification of Nonlinear Neural Feedback Systems”. Review the original paper for the authors’ methods and findings. Sources: 1.