Philip Sosnin, Calvin Tsay. Scaling Mixed-Integer Programming for Certification of Neural Network Controllers Using Bounds Tightening. In 63rd IEEE Conference on Decision and Control, CDC 2024, Milan, Italy, December 16-19, 2024. pages 1645-1650, IEEE, 2024. [doi]
Abstract is missing.