1.
Ruoss A, Baader M, Balunović M, Vechev M. Efficient Certification of Spatial Robustness. AAAI [Internet]. 2021May18 [cited 2024Mar.29];35(3):2504-13. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/16352