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]

Authors

Jean-François Raskin

This author has not been identified. Look up 'Jean-François Raskin' in Google

Krishnendu Chatterjee

This author has not been identified. Look up 'Krishnendu Chatterjee' in Google

Laurent Doyen

This author has not been identified. Look up 'Laurent Doyen' in Google

Thomas A. Henzinger

This author has not been identified. Look up 'Thomas A. Henzinger' in Google