A. Ruoss, M. Baader, M. Balunović, and M. Vechev, “Efficient Certification of Spatial Robustness”, AAAI, vol. 35, no. 3, pp. 2504-2513, May 2021.