This paper 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 temporal logic or a local signal temporal logic task where each task may further be coupled, i.e., satisfaction of a task may depend on more than one agent. The agents are represented by mobile robots with different sensing and actuation capabilities. We propose to combine the two aforementioned frameworks to use the strengths of both linear temporal logic and signal temporal logic. For the implementation, we take into account practical issues such as collision avoidance and, in particular for the signal temporal logic framework, input saturations, the digital implementation of continuous-time feedback control laws, and a controllability assumption that was made in the original work. The experimental results contain three scenarios that show a wide variety of tasks. Index Terms-Autonomous mobile robots; decentralized robotic networks; formal methods-based control synthesis; linear temporal logic (LTL); signal temporal logic (STL).