Wang Lin, Zhengfeng Yang, Xin Chen, Qingye Zhao, Xiangkun Li, Zhiming Liu, Jifeng He. Robustness Verification of Classification Deep Neural Networks via Linear Programming. In IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2019, Long Beach, CA, USA, June 16-20, 2019. pages 11418-11427, Computer Vision Foundation / IEEE, 2019. [doi]