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]
Abstract is missing.