Alpaga: A Tool for Solving Parity Games with Imperfect Information
classification
💻 cs.GT
cs.LO
keywords
alpagagamesimperfectinformationparitytoolalgorithmantichains
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.