On the Timed Temporal Logic Planning of Coupled Multi-Agent Systems

Alexandros Nikou, Dimitris Boskos, Jana Tumova +1

This paper presents a fully automated procedure for controller synthesis for multi-agent systems under coupling constraints. Each agent is modeled with dynamics consisting of two t…