Bounded model Checking knowledge and branching time in synchronous multi-agent systems

There are no files associated with this record.

Title Bounded model Checking knowledge and branching time in synchronous multi-agent systems
Author Luo, Xiangyu; Su, Kaile; Sattar, Abdul; Chen, Qingliang
Publication Title Proceedings of the Fourth International Joint conference on Autonomous Agents adn Multiagent systems
Editor Frank Dignum, Virginia Dignum, Sven Koenig, Sarit Kraus, Muninder P. Singh, MIchael Wooldridge
Year Published 2005
Place of publication New York, N.Y.
Publisher ACM
Peer Reviewed Yes
Published Yes
ISBN 1595930949
Conference name 4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005)
Location Utrecht, The Netherlands
Date From 2005-07-25
Date To 2005-07-29
URI http://hdl.handle.net/10072/2614
Date Accessioned 2006-03-13
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Engineering and Information Technology
Subject Other Artificial Intelligence
Publication Type Conference Publications (Full Written Paper - Refereed)
Publication Type Code e1

Show simple item record

Griffith University copyright notice