Bibtex de la publication

@InProceedings{ Be2016.3,
author = {Belardinelli, Francesco and Herzig, Andreas},
title = "{On Logics of Strategic Ability based on Propositional Control (regular paper)}",
booktitle = "{International Joint Conference on Artificial Intelligence (IJCAI), New York, 09/07/2016-15/07/2016}",
editor = {Kambhampati, Subbarao},
year = {2016},
month = {juillet},
publisher = {AAAI Press},
address = {http://www.aaai.org/Press/press.php},
pages = {95--101},
language = {anglais},
URL = {http://www.irit.fr/~Andreas.Herzig/P/Ijcai16Belardinelli.html - http://oatao.univ-toulouse.fr/16982/},
keywords = {propositional control, Alternating-time Temporal Logic, strategy}
}