Natasha Alechina'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). pdf    

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