Wojciech Jamroga, Michal Knapik, Damian Kurpiewski. Fixpoint Approximation of Strategic Abilities under Imperfect Information. 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 1241-1249, ACM, 2017. [doi]
Abstract is missing.