"Algorithms for Omega-Regular Games with Imperfect Information, ."

Krishnendu Chatterjee et al. (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics