Sampling-based algorithms for optimal motion planning with deterministic μ-calculus specifications
Temporal-Logic-Based Reactive Mission and Motion Planning