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