Wojciech Jamroga, Beata Konikowska, Wojciech Penczek. Multi-Valued Verification of Strategic Ability. In Catholijn M. Jonker, Stacy Marsella, John Thangarajah, Karl Tuyls, editors, Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, Singapore, May 9-13, 2016. pages 1180-1189, ACM, 2016. [doi]
Abstract is missing.