External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Resource-bounded alternating-time temporal logic

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. Resource-bounded alternating-time temporal logic. In Wiebe van der Hoek, Gal A. Kaminka, Yves Lespérance, Michael Luck, Sandip Sen, editors, 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3. pages 481-488, IFAAMAS, 2010. [doi]

Authors

Natasha Alechina

This author has not been identified. Look up 'Natasha Alechina' in Google

Brian Logan

This author has not been identified. Look up 'Brian Logan' in Google

Nguyen Hoang Nga

This author has not been identified. Look up 'Nguyen Hoang Nga' in Google

Abdur Rakib

This author has not been identified. Look up 'Abdur Rakib' in Google
runs on