Lacerda, B.; Parker, D.; Hawes, N. Multi-Objective Policy Generation for Mobile Robots under Probabilistic Time-Bounded Guarantees. ICAPS 2017, 27, 504-512.