Rajeev Alur, Thomas A. Henzinger, Orna Kupferman. Alternating-time temporal logic. Journal of the ACM, 49(5):672-713, 2002. [doi]
@article{AlurHK02,
title = {Alternating-time temporal logic},
author = {Rajeev Alur and Thomas A. Henzinger and Orna Kupferman},
year = {2002},
doi = {10.1145/585265.585270},
url = {http://doi.acm.org/10.1145/585265.585270},
tags = {logic},
researchr = {https://researchr.org/publication/AlurHK02},
cites = {0},
citedby = {0},
journal = {Journal of the ACM},
volume = {49},
number = {5},
pages = {672-713},
}