(1)
Ruoss, A.; Baader, M.; Balunović, M.; Vechev, M. Efficient Certification of Spatial Robustness. AAAI 2021, 35, 2504-2513.