@inproceedings{certifyinggeometricrobustnessofneural,
  title = {Certifying Geometric Robustness of Neural Networks},
  author = {Mislav Balunovic and Maximilian Baader and Gagandeep Singh and Timon Gehr and Martin Vechev},
  year = {2019},
  booktitle = {NeurIPS 2019 12},
  url = {http://papers.nips.cc/paper/9666-certifying-geometric-robustness-of-neural-networks},
}