(1)
Lyu, Z.; Ko, C.-Y.; Kong, Z.; Wong, N.; Lin, D.; Daniel, L. Fastened CROWN: Tightened Neural Network Robustness Certificates. AAAI 2020, 34, 5037-5044.