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.
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.