@inproceedings{robustnesscertificationwithrefinement,
  title = {Robustness Certification with Refinement},
  author = {Gagandeep Singh and Timon Gehr and Markus Püschel and Martin Vechev},
  year = {2019},
  booktitle = {ICLR 2019 5},
  url = {https://openreview.net/forum?id=HJgeEh09KQ},
}