Philip Sosnin, Calvin Tsay: Scaling Mixed-Integer Programming for Certification of Neural Network Controllers Using Bounds Tightening. CDC 2024: 1645-1650