Abstract: In this letter 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-priori ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback