Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation in Autonomous Robots