1. Distributed reactive systems are hard to synthesize;Pnueli,1990
2. The complexity of two-player games of incomplete information;Reif;Comput. Syst. Sci.,1984
3. Algorithms for omega-regular games with imperfect information;Chatterjee;Log. Methods Comput. Sci.,2007
4. Games with imperfect information: theory and algorithms;Doyen,2011
5. Knowledge-based programs;Fagin;Distrib. Comput.,1997