Mika Cohen, Mads Dam, Alessio Lomuscio, Francesco Russo. Abstraction in model checking multi-agent systems. In Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, Jaime Simão Sichman, editors, 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2. pages 945-952, IFAAMAS, 2009. [doi]
@inproceedings{CohenDLR09,
title = {Abstraction in model checking multi-agent systems},
author = {Mika Cohen and Mads Dam and Alessio Lomuscio and Francesco Russo},
year = {2009},
doi = {10.1145/1558109.1558144},
url = {http://doi.acm.org/10.1145/1558109.1558144},
tags = {model checking, meta-model, abstraction, Meta-Environment},
researchr = {https://researchr.org/publication/CohenDLR09},
cites = {0},
citedby = {0},
pages = {945-952},
booktitle = {8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2},
editor = {Carles Sierra and Cristiano Castelfranchi and Keith S. Decker and Jaime Simão Sichman},
publisher = {IFAAMAS},
isbn = {978-0-9817381-7-8},
}