Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv. Bounded model checking knowledge and branching time in synchronous multi-agent systems. In Frank Dignum, Virginia Dignum, Sven Koenig, Sarit Kraus, Munindar P. Singh, Michael Wooldridge, editors, 4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands. pages 1129-1130, ACM, 2005. [doi]
@inproceedings{LuoSSCL05,
title = {Bounded model checking knowledge and branching time in synchronous multi-agent systems},
author = {Xiangyu Luo and Kaile Su and Abdul Sattar and Qingliang Chen and Guanfeng Lv},
year = {2005},
doi = {10.1145/1082473.1082657},
url = {http://doi.acm.org/10.1145/1082473.1082657},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/LuoSSCL05},
cites = {0},
citedby = {0},
pages = {1129-1130},
booktitle = {4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands},
editor = {Frank Dignum and Virginia Dignum and Sven Koenig and Sarit Kraus and Munindar P. Singh and Michael Wooldridge},
publisher = {ACM},
isbn = {1-59593-094-9},
}