Algorithms for omega-regular games with imperfect information (0)

by Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger, Jean-François Raskin
Venue:Logical Methods in Computer Science