2000 character limit reached
Alpaga: A Tool for Solving Parity Games with Imperfect Information
Published 29 Jan 2009 in cs.GT and cs.LO | (0901.4728v1)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.
