Dirk Walther, Wiebe van der Hoek, Michael Wooldridge. Alternating-time temporal logic with explicit strategies. In Dov Samet, editor, Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007. pages 269-278, 2007. [doi]
@inproceedings{WaltherHW07,
title = {Alternating-time temporal logic with explicit strategies},
author = {Dirk Walther and Wiebe van der Hoek and Michael Wooldridge},
year = {2007},
doi = {10.1145/1324249.1324285},
url = {http://doi.acm.org/10.1145/1324249.1324285},
tags = {logic},
researchr = {https://researchr.org/publication/WaltherHW07},
cites = {0},
citedby = {0},
pages = {269-278},
booktitle = {Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007},
editor = {Dov Samet},
}