Bibtex de la publication

@Unpublished{ He2014.5,
author = {Herzig, Andreas and Lorini, Emiliano and Maffre, Faustine and Walther, Dirk},
title = "{Alternating-time Temporal Logic with Explicit Programs (LAMAS 2014, Paris, 05/05/2014)}",
editor = {Bulling, Nils and van der Hoek, Wiebe},
year = {2014},
language = {anglais},
URL = {},
abstract = {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.}