PAPERS

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.