Algorithms for Omega-Regular Games with Imperfect Information

Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger. Algorithms for Omega-Regular Games with Imperfect Information. Logical Methods in Computer Science, 3(3), 2007. [doi]

Abstract

Abstract is missing.