Alpaga: A Tool for Solving Parity Games with Imperfect Information
Computer Science and Game Theory
2009-01-30 v1 Logic in Computer Science
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.
Keywords
Cite
@article{arxiv.0901.4728,
title = {Alpaga: A Tool for Solving Parity Games with Imperfect Information},
author = {Dietmar Berwanger and Krishnendu Chatterjee and Martin De Wulf and Laurent Doyen and Thomas A. Henzinger},
journal= {arXiv preprint arXiv:0901.4728},
year = {2009}
}
Comments
11 pages, a shorter version to appear in TACAS 2009