1. Berwanger, D., Chatterjee, K., Doyen, L., Henzinger, T.A., Raje, S.: Strategy construction for parity games with imperfect information. Technical Report MTC-REPORT-2008-005, EPFL (2008), http://infoscience.epfl.ch/record/125011
2. Chatterjee, K., Doyen, L., Henzinger, T.A., Raskin, J.-F.: Algorithms for omega-regular games of incomplete information. Logical Methods in Computer Science 3(3:4) (2007)
3. Lecture Notes in Computer Science;M. Wulf De,2006
4. Lecture Notes in Computer Science;M. Wulf De,2008
5. Emerson, E.A., Jutla, C.S.: Tree automata, mu-calculus and determinacy. In: Proc. of FoCS 1991, pp. 368–377. IEEE, Los Alamitos (1991)