A. Boopathy, T.-W. Weng, P.-Y. Chen, S. Liu, and L. Daniel, “CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks”, AAAI, vol. 33, no. 01, pp. 3240-3247, Jul. 2019.