Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. Resource-bounded alternating-time temporal logic. In Wiebe van der Hoek, Gal A. Kaminka, Yves Lespérance, Michael Luck, Sandip Sen, editors, 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3. pages 481-488, IFAAMAS, 2010. [doi]
@inproceedings{AlechinaLNR10,
title = {Resource-bounded alternating-time temporal logic},
author = {Natasha Alechina and Brian Logan and Nguyen Hoang Nga and Abdur Rakib},
year = {2010},
doi = {10.1145/1838206.1838274},
url = {http://doi.acm.org/10.1145/1838206.1838274},
tags = {logic},
researchr = {https://researchr.org/publication/AlechinaLNR10},
cites = {0},
citedby = {0},
pages = {481-488},
booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
editor = {Wiebe van der Hoek and Gal A. Kaminka and Yves Lespérance and Michael Luck and Sandip Sen},
publisher = {IFAAMAS},
isbn = {978-0-9826571-1-9},
}