Robot Mission Adaptation with Quantitative Guarantees | Publicación