LILaC - paper abstract

Alternating-time Temporal Logic with Explicit Programs

Andreas Herzig, Emiliano Lorini, Faustine Maffre, Dirk Walther


We introduce ATLEP, an extension of Alternating-time Temporal Logic (ATL), following the recent Alternating-time Temporal Logic with Explicit Actions (ATLEA). ATLEP adds to the language of ATL explicit programs whose agents are committed to play, formulated in an extension of Propositional Dynamic Logic (PDL) where strategies can be captured. We add combinations of commitments, inspired from the work on the Game Description Language. We also give an example on how a multi-agent game can be fully modeled with ATLEP, along with several winning strategies.



a Preliminary version about ATL with explicit actions (ATLEA) was presented at the LORI 2013.