TY - RPRT TI - A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems AU - Gregorio Marchesini AU - Siyuan Liu AU - Lars Lindemann AU - Dimos V. Dimarogonas PY - 2025 UR - https://arxiv.org/abs/2410.12563 ID - 2410.12563 ER -