Alpaga: A tool for solving parity games with imperfect information
Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009•Springer
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.
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