@misc{indiciae10f6e83a89f5,
  title = {Adversarial Robustness Guarantees for Classification with Gaussian Processes},
  author = {Arno Blaas and Andrea Patane and Luca Laurenti and Luca Cardelli and Marta Kwiatkowska and Stephen Roberts},
  year = {2020},
  url = {https://arxiv.org/abs/1905.11876},
  note = {Source identifier: 1905.11876}
}