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

Bowen Ye, Jianing Zhao, Shaoyuan Li +1

In this paper, we investigate the problem of linear temporal logic (LTL) path planning for multi-agent systems, introducing the new concept of \emph{ordering constraints}. Specific…