Boopathy, A.; Weng, T.-W.; Chen, P.-Y.; Liu, S.; Daniel, L. CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks. AAAI 2019, 33, 3240-3247.