Multi-Objective Policy Generation for Mobile Robots under Probabilistic Time-Bounded Guarantees

Bruno Lacerda, David Parker, Nick Hawes