Abstract: We address the problem of decomposing a global task assigned to a multi-agent system, where the task is expressed using a fragment of Signal Temporal Logic (STL) and communication among ...