Wojciech Jamroga. Knowledge and Strategic Ability for Model Checking: A Refined Approach. In Ralph Bergmann, Gabriela Lindemann, Stefan Kirn, Michal Pechoucek, editors, Multiagent System Technologies, 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings. Volume 5244 of Lecture Notes in Computer Science, pages 99-110, Springer, 2008. [doi]
Abstract is missing.