Alpaga: A Tool for Solving Parity Games with Imperfect Information

Alpaga is a solver for 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 a recent algorithm based on antichains.

• Type: Conference
• Year: 2009
• Where: TACAS
• Authors: Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger
• Keywords: Algorithms, Imperfect Information, Parity Games, TACAS 2009, first Player