Resource-bounded alternating-time temporal logic
(2010)
Presentation / Conference Contribution
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.