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) |
Please use this identifier to cite this record: http://hdl.handle.net/10072/2614
Griffith University copyright notice
Copyright in individual works within the repository belongs to their authors or publishers. You may make a print or digital copy of a work for your personal non-commercial use. All other rights are reserved, except for fair dealings or other user rights granted by the copyright laws of your country.
Footer information
Back to top