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
Publisher ACM
Peer Reviewed Yes
Published Yes
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Engineering and Information Technology
Publication Type Conference Publications (Full Written Paper - Refereed)

Show full item record

Griffith University copyright notice