Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications

Open in new window