@inproceedings{PLP+20,
  author={Polymenakos, Kyriakos and Laurenti, Luca and Patane, Andrea and Calliess, Jan-Peter and Cardelli, Luca and Kwiatkowska, Marta and Abate, Alessandro and Roberts, Stephen},
  title     = {Safety Guarantees for Iterative Predictions with Gaussian Processes},
  booktitle = {59th IEEE Conference on Decision and Control, (CDC 2020), December 14-18, 2020.},
  pages     = {},
  publisher = {IEEE},
  year      = {2020},
  url       = {},
  doi       = {https://doi.org/10.1109/CDC42340.2020.9304029},
}