Wu, Y. and Zhang, M. (2021) “Tightening Robustness Verification of Convolutional Neural Networks with Fine-Grained Linear Approximation”, Proceedings of the AAAI Conference on Artificial Intelligence, 35(13), pp. 11674-11681. doi: 10.1609/aaai.v35i13.17388.