Scaling mixed-integer programming for certification of neural network controllers using bounds tightening

2024 (1)

• Philip Sosnin, Calvin Tsay, Scaling mixed-integer programming for certification of neural network controllers using bounds tightening, 2024 IEEE 63rd Conference on Decision and Control (CDC), 2024