@misc{indiciae3a2c662b0766,
  title = {Safety Guarantees for Planning Based on Iterative Gaussian Processes},
  author = {Kyriakos Polymenakos and Luca Laurenti and Andrea Patane and Jan-Peter Calliess and Luca Cardelli and Marta Kwiatkowska and Alessandro Abate and Stephen Roberts},
  year = {2020},
  url = {https://arxiv.org/abs/1912.00071},
  note = {Source identifier: 1912.00071}
}