TY  - RPRT
TI  - Scaling Mixed-Integer Programming for Certification of Neural Network Controllers Using Bounds Tightening
AU  - Philip Sosnin
AU  - Calvin Tsay
PY  - 2025
UR  - https://arxiv.org/abs/2403.17874
ID  - 2403.17874
ER  -