Alpaga: A Tool for Solving Parity Games with Imperfect Information
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2009
- DOI:
- 10.48550/arXiv.0901.4728
- arXiv:
- arXiv:0901.4728
- Bibcode:
- 2009arXiv0901.4728B
- Keywords:
-
- Computer Science - Computer Science and Game Theory;
- Computer Science - Logic in Computer Science
- E-Print:
- 11 pages, a shorter version to appear in TACAS 2009