Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance

Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska. Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance. In Sarit Kraus, editor, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019. pages 5944-5952, ijcai.org, 2019. [doi]

Authors

Wenjie Ruan

This author has not been identified. Look up 'Wenjie Ruan' in Google

Min Wu

This author has not been identified. Look up 'Min Wu' in Google

Youcheng Sun

This author has not been identified. Look up 'Youcheng Sun' in Google

Xiaowei Huang

This author has not been identified. Look up 'Xiaowei Huang' in Google

Daniel Kroening

This author has not been identified. Look up 'Daniel Kroening' in Google

Marta Kwiatkowska

This author has not been identified. It may be one of the following persons: Look up 'Marta Kwiatkowska' in Google