ALPAGA : a Tool for Solving Parity Games with Imperfect Information

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

15th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), York, UK, 2009, pages 58-61.

http://www.lsv.ens-cachan.fr/~doyen/papers/Alpaga.pdf

Used by the Cassting project

Alpaga is a solver for two-player parity games with imperfect information. Given the description of a game, it determines whether the first player can ensure to win and, if so, it constructs a winning strategy. The tool provides a symbolic implementation of an algorithm based on antichains.