Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm

Wenjie Ruan‚ Min Wu‚ Youcheng Sun‚ Xiaowei Huang‚ Daniel Kroening and Marta Kwiatkowska