Berwanger, DietmarChatterjee, KrishnenduDe Wulf, MartinDoyen, LaurentHenzinger, Thomas A.2008-12-292008-12-292008-12-292009https://infoscience.epfl.ch/handle/20.500.14299/33060Alpaga 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.Parity gamesImperfect informationStrategy constructiontext::report