Optimal Control of Nonlinear Systems with Temporal Logic Specifications
Sampling-based algorithms for optimal motion planning with deterministic μ-calculus specifications