Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints

Open in new window