@misc{indiciaec0a9a01dcbbf,
  title = {Robustness Guarantees for Bayesian Inference with Gaussian Processes},
  author = {Luca Cardelli and Marta Kwiatkowska and Luca Laurenti and Andrea Patane},
  year = {2018},
  url = {https://arxiv.org/abs/1809.06452},
  note = {Source identifier: 1809.06452}
}