Xiaowei Huang, Cheng Luo, Ron van der Meyden. Improved bounded model checking for a fair branching-time temporal epistemic logic. In Wiebe van der Hoek, Gal A. Kaminka, Yves Lespérance, Michael Luck, Sandip Sen, editors, 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3. pages 1403-1404, IFAAMAS, 2010. [doi]
@inproceedings{HuangLM10,
title = {Improved bounded model checking for a fair branching-time temporal epistemic logic},
author = {Xiaowei Huang and Cheng Luo and Ron van der Meyden},
year = {2010},
doi = {10.1145/1838206.1838403},
url = {http://doi.acm.org/10.1145/1838206.1838403},
tags = {model checking, meta-model, logic, Meta-Environment},
researchr = {https://researchr.org/publication/HuangLM10},
cites = {0},
citedby = {0},
pages = {1403-1404},
booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
editor = {Wiebe van der Hoek and Gal A. Kaminka and Yves Lespérance and Michael Luck and Sandip Sen},
publisher = {IFAAMAS},
isbn = {978-0-9826571-1-9},
}