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 [Internet]. 2019Jul.17 [cited 2024Apr.25];33(01):3240-7. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/4193