Wu, Y.; Zhang, M. Tightening Robustness Verification of Convolutional Neural Networks With Fine-Grained Linear Approximation. AAAI 2021, 35, 11674-11681.