Papers

• Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Martin De Wulf and Thomas A. Henzinger.
  ALPAGA : a Tool for Solving Parity Games with Imperfect Information.
  Submitted, 2008.[.pdf]
• Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger and Sangram Raje.
  Strategy construction for parity games with imperfect information.
  Proceedings of CONCUR 2008, LNCS, Springer-Verlag, Toronto, 2008.[.pdf]
• Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-Frangois Raskin.
  Algorithms for omega-regular games of imperfect information.
  Proceedings of the 15th International Conference on Computer Science Logic (CSL), Lecture Notes in Computer Science 4207, Springer-Verlag, 2006, pp.287-302. [.pdf]

Slides

Slides of the presentation at CONCUR 2008 by Dietmar Berwanger [.pdf]