Brendon G. Anderson, Ziye Ma, Jingqi Li, Somayeh Sojoudi. Tightened Convex Relaxations for Neural Network Robustness Certification. In 59th IEEE Conference on Decision and Control, CDC 2020, Jeju Island, South Korea, December 14-18, 2020. pages 2190-2197, IEEE, 2020. [doi]