| Title: | Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance |
|---|---|
| Links: | Document as PDF |
| Authors: | Wenjie Ruan |
| Min Wu | |
| Youcheng Sun | |
| Xiaowei Huang | |
| Daniel Kroening EMail | |
| Marta Kwiatkowska | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{rwshkk2019,
AUTHOR = { Ruan, Wenjie
and Wu, Min
and Sun, Youcheng
and Huang, Xiaowei
and Kroening, Daniel
and Kwiatkowska, Marta },
TITLE = { Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the {Hamming} Distance },
BOOKTITLE = { International Joint Conference on Artificial Intelligence (IJCAI) },
YEAR = { 2019 },
PAGES = { 5944--5952 },
EDITOR = { Sarit Kraus },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.