Alessio Lomuscio, Wojciech Penczek, Hongyang Qu. Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems. 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 659-666, IFAAMAS, 2010. [doi]
@inproceedings{LomuscioPQ10,
title = {Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems},
author = {Alessio Lomuscio and Wojciech Penczek and Hongyang Qu},
year = {2010},
doi = {10.1145/1838206.1838293},
url = {http://doi.acm.org/10.1145/1838206.1838293},
tags = {model checking, meta-model, logic, Meta-Environment},
researchr = {https://researchr.org/publication/LomuscioPQ10},
cites = {0},
citedby = {0},
pages = {659-666},
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},
}