no code implementations • 27 Feb 2024 • Gregorio Marchesini, Siyuan Liu, Lars Lindemann, Dimos V. Dimarogonas
In this work, we propose a method to decompose signal temporal logic (STL) tasks for multi-agent systems subject to constraints imposed by the communication graph.