Dynamic exploration of multi-agent systems with timed periodic tasks

Johan Arcile, Raymond Devillers, Hanna Klaudel

We formalise and study multi-agent timed models MAPTs (Multi-Agent with timed Periodic Tasks), where each agent is associated to a regular timed schema upon which all possibles act…