Categories
recording

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