Alpaga: A tool for solving parity games with imperfect information

D Berwanger, K Chatterjee, M De Wulf, L Doyen… - … 2009, Held as Part of the …, 2009 - Springer
Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009Springer
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.
Abstract
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.
Springer
Showing the best result for this search. See all results