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

Aboriginal and Torres Strait Islander Peoples are advised the Griffith Research Online collection may contain images, voices and names of people who are deceased. Some language and materials may be considered inappropriate, reflecting the views of the period in which it was produced. While this language has been retained to preserve historical context, these are not the views of Griffith University.

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

Author(s)

Luo, X
Su, K
Sattar, A
Chen, Q
Lv, G

Griffith University Author(s)

Sattar, Abdul
Su, Kaile

Date

2005

Location

Utrecht, The Netherlands

Conference Title

Proceedings of the International Conference on Autonomous Agents

Persistent link to this record

http://hdl.handle.net/10072/2614

Collections

Conference outputs