This brief presents the implementation and experimental results of two frameworks for multi-agent systems under temporal logic tasks, which we have recently proposed. Each agent is subject to either a local linear (LTL) or signal (STL) task where each may further be coupled, i.e., satisfaction depend on more than one agent. The agents are represented by mobile robots with different sensing actu...

Abstract This paper introduces a logic with class of social network models that is based on standard Linear Temporal Logic, which allows for leveraging the power existing model checkers analysis networks. We provide short literature overview, and then define our its axiomatization, present some simple motivational examples both formulas show soundness completeness via translation into propositi...