Valentin Goranko, Antti Kuusisto, Raine Rönnholm. Game-Theoretic Semantics for ATL+ with Applications to Model Checking. 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 1277-1285, ACM, 2017. [doi]
Abstract is missing.