Resource-bounded alternating-time temporal logic

TitleResource-bounded alternating-time temporal logic
Publication TypeConference Paper
Year of Publication2010
AuthorsAlechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib
Editorvan der Hoek, Wiebe, Gal Kaminka, Yves Lesp{\'}erance, Michael Luck, and Sandip Sen
Conference NameProceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010)
Date PublishedMay
Conference LocationToronto, Canada
Citation KeyAlechina//:10a
Alechina++:10a.pdf204.49 KB