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
Journal
CoRR
Volume
abs/1804.05805
Year
2018
Wenjie Ruan‚ Min Wu‚ Youcheng Sun‚ Xiaowei Huang‚ Daniel Kroening and Marta Kwiatkowska