Brian Logan's Publications

Resource-bounded alternating-time temporal logic (2010)

By: Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib

Download Information

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2010). "Resource-bounded alternating-time temporal logic." Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010) (pp. 481-488).

Bibtex citation

@inproceedings{Alechina//:10a,
author =     {Natasha Alechina and Brian Logan and Nguyen Hoang Nga and Abdur Rakib},
title =     {Resource-bounded alternating-time temporal logic},
booktitle =     {Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems ({AAMAS} 2010)},
pages =    {481--488},
year =     {2010},
editor =     {van der Hoek, Wiebe and Gal Kaminka and Yves Lesp{\'}erance and Michael Luck and Sandip Sen},
address =     {Toronto, Canada},
month =     {May},
organization = {IFAAMAS},
publisher = {IFAAMAS},
}

---

full list