swMATH ID: 32
Software Authors: Berwanger, Dietmar; Chatterjee, Krishnendu; De Wulf, Martin; Doyen, Laurent; Henzinger, Thomas A.
Description: Alpaga: A Tool for Solving Parity Games with Imperfect Information. 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 a recent algorithm based on antichains.
Homepage: http://rd.springer.com/chapter/10.1007%2F978-3-642-00768-2_7
Related Software: PRISM; Acacia+; POMDP; MCMAS-SLK; Mr. Waffles; CTLSAT; EAGLE; MOCHA; PRALINE; MCMAS; Uppaal; UPPAAL TIGA; Antichains; CUDD
Cited in: 5 Documents

Citations by Year