Z. Lyu, C.-Y. Ko, Z. Kong, N. Wong, D. Lin, and L. Daniel, “Fastened CROWN: Tightened Neural Network Robustness Certificates”, AAAI, vol. 34, no. 04, pp. 5037-5044, Apr. 2020.