Scaling Mixed-Integer Programming for Certification of Neural Network Controllers Using Bounds Tightening

Philip Sosnin, Calvin Tsay

Neural networks offer a computationally efficient approximation of model predictive control, but they lack guarantees on the resulting controlled system's properties. Formal certif…