Alpaga: A Tool for Solving Parity Games with Imperfect Information
Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf and, Laurent Doyen, Thomas A. Henzinger
TL;DR
Alpaga is a symbolic tool designed to solve two-player parity games with imperfect information, determining winning strategies for the first player using an antichain-based algorithm.
Contribution
It introduces a symbolic implementation of a recent antichain-based algorithm for solving parity games with imperfect information.
Findings
Successfully determines if the first player can win
Constructs winning strategies when they exist
Uses an efficient symbolic approach
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsArtificial Intelligence in Games