@INPROCEEDINGS{RWS+19,
  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},
  crossref = {proc-disc-2009},
  booktitle = {In Proc. International Joint Conference on Artificial Intelligence (IJCAI-19)},
  year = {2019}
 }