Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance
Wenjie Ruan‚ Min Wu‚ Youcheng Sun‚ Xiaowei Huang‚ Daniel Kroening and Marta Kwiatkowska
Book Title
Proceedings of the Twenty−Eighth International Joint Conference on Artificial Intelligence‚ IJCAI−19
Month
7
Pages
5944–5952
Publisher
International Joint Conferences on Artificial Intelligence Organization
Year
2019