@article{robustnessguaranteesforbayesianinference,
  title = {Robustness Guarantees for Bayesian Inference with Gaussian Processes},
  author = {Luca Cardelli and Marta Kwiatkowska and Luca Laurenti and Andrea Patane},
  year = {2018},
  eprint = {1809.06452},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1809.06452v2},
}