Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
DGX agentarXiv:2502.16531v2 Announce Type: replace Abstract: We consider multi-robot systems under recurring tasks formalized as linear temporal logic (LTL) specifications. To solve the planning problem effici