Abstract de la publi numéro 15630

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 which agents are committed to play, formulated in a language similar to Propositional Dynamic Logic (PDL), which allows to express full strategies. We also add combinations of commitments, inspired from the work on the Game Description and we give an example on how a multi-agent game can be fully modeled with several winning strategies.