Filters: Author is Sandip Sen  [Clear All Filters]
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Resource-bounded alternating-time temporal logic." In Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), edited by Wiebe van der Hoek, Gal Kaminka, Yves Lesp{\'}erance, Michael Luck and Sandip Sen, 481-488. Toronto, Canada: IFAAMAS, 2010. Download: Alechina++:10a.pdf (204.49 KB)