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