Probabilistic planning with formal performance guarantees for mobile service robots - Lacerda, B; Faruq, F; Parker, D; Hawes, N (International Journal of Robotics Research, 2019)