Jeremy Kong, Alessio Lomuscio. Symbolic Model Checking Multi-Agent Systems against CTL*K Specifications. In Kate Larson, Michael Winikoff, Sanmay Das, Edmund Durfee, editors, Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017. pages 114-122, ACM, 2017. [doi]
@inproceedings{KongL17-0,
title = {Symbolic Model Checking Multi-Agent Systems against CTL*K Specifications},
author = {Jeremy Kong and Alessio Lomuscio},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091147},
researchr = {https://researchr.org/publication/KongL17-0},
cites = {0},
citedby = {0},
pages = {114-122},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017},
editor = {Kate Larson and Michael Winikoff and Sanmay Das and Edmund Durfee},
publisher = {ACM},
}