@inproceedings{ruan2019global,
  title = "Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance",
  author = "Ruan, Wenjie and Wu, Min and Sun, Youcheng and Huang, Xiaowei and Kroening, Daniel and Kwiatkowska, Marta",
  year = "2019",
  booktitle = "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",
  url = "https://doi.org/10.24963/ijcai.2019/824",
  doi = "10.24963/ijcai.2019/824",
}