Signal Temporal Logic Task Decomposition via Convex Optimization

Maria Charitidou, Dimos V. Dimarogonas

In this paper we focus on the problem of decomposing a global Signal Temporal Logic formula (STL) assigned to a multi-agent system to local STL tasks when the team of agents is a-p…