TY - RPRT TI - Scalable Multi-Robot Task Allocation and Coordination under Signal Temporal Logic Specifications AU - Wenliang Liu AU - Nathalie Majcherczyk AU - Federico Pecora PY - 2025 UR - https://arxiv.org/abs/2503.02719 ID - 2503.02719 ER -