TY  - RPRT
TI  - Safety Guarantees for Planning Based on Iterative Gaussian Processes
AU  - Kyriakos Polymenakos
AU  - Luca Laurenti
AU  - Andrea Patane
AU  - Jan-Peter Calliess
AU  - Luca Cardelli
AU  - Marta Kwiatkowska
AU  - Alessandro Abate
AU  - Stephen Roberts
PY  - 2020
UR  - https://arxiv.org/abs/1912.00071
ID  - 1912.00071
ER  -