@inproceedings{fastandeffectiverobustnesscertification,
  title = {Fast and Effective Robustness Certification},
  author = {Gagandeep Singh and Timon Gehr and Matthew Mirman and Markus Püschel and Martin Vechev},
  year = {2018},
  booktitle = {NeurIPS 2018 12},
  url = {http://papers.nips.cc/paper/8278-fast-and-effective-robustness-certification},
}