Skip to main content

Research Repository

Advanced Search

Outputs (1)

Resource-bounded alternating-time temporal logic (2010)
Presentation / Conference
Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2010, May). Resource-bounded alternating-time temporal logic. Paper presented at 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3, Toronto, Canada

Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools for reasoning about coalitional ability. However, coalitional ability c... Read More about Resource-bounded alternating-time temporal logic.