Boopathy, A., T.-W. Weng, P.-Y. Chen, S. Liu, and L. Daniel. “CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 33, no. 01, July 2019, pp. 3240-7, doi:10.1609/aaai.v33i01.33013240.