Alpaga: A Tool for Solving Parity Games with Imperfect Information.

Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger

Browse the full TACAS paper archive.