Certified Training with Branch-and-Bound: A Case Study on Lyapunov-stable Neural Control

Open in new window