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...

We present a new proof of the fact that every formula in linear temporal logic with past is equivalent to a formula of the form ∧

We introduce a methodology whereby an arbitrary logic system L can be en riched with temporal features to create a new system T L The new system is constructed by combining L with a pure propositional temporal logic T such as linear temporal logic with Since and Until in a special way We refer to this method as adding a temporal dimension to L or just temporalising L We show that the logic syst...