Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic