Y. Wu and M. Zhang, “Tightening Robustness Verification of Convolutional Neural Networks with Fine-Grained Linear Approximation”, AAAI, vol. 35, no. 13, pp. 11674-11681, May 2021.