Tightened convex relaxations for neural network robustness certification

Brendon G Anderson, Ziye Ma, Jingqi Li, Somayeh Sojoudi

2020 59th IEEE Conference on Decision and Control (CDC) 2020