@article{globaladversarialrobustnessguaranteesfor,
  title = {Global Adversarial Robustness Guarantees for Neural Networks},
  author = {Luca Laurenti and Andrea Patane and Matthew Wicker and Luca Bortolussi and Luca Cardelli and Marta Kwiatkowska},
  year = {2019},
  url = {https://openreview.net/forum?id=BJgyn1BFwS},
}