B. Lacerda, D. Parker, and N. Hawes, “Multi-Objective Policy Generation for Mobile Robots under Probabilistic Time-Bounded Guarantees”, ICAPS, vol. 27, no. 1, pp. 504-512, Jun. 2017.