Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications
Sampling-based motion planning with temporal goals