Loading...
report
Alpaga: A Tool for Solving Parity Games with Imperfect Information
2009
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.
Loading...
Name
main.pdf
Access type
openaccess
Size
200.28 KB
Format
Adobe PDF
Checksum (MD5)
1772ec3d06f0dd00032f2b45bb14941f