Alpaga: A Tool for Solving Parity Games with Imperfect Information

Simple item page
dc.creatorBerwanger, Dietmar
dc.creatorChatterjee, Krishnendu
dc.creatorDe Wulf, Martin
dc.creatorDoyen, Laurent
dc.creatorHenzinger, Thomas A.
dc.date2009-01-29
dc.date.accessioned2026-07-07T12:35:38Z
dc.date.available2026-07-07T12:35:38Z
dc.descriptionAlpaga 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.
dc.description11 pages, a shorter version to appear in TACAS 2009
dc.identifierhttps://arxiv.org/abs/0901.4728
dc.identifierhttp://arxiv.org/abs/0901.4728
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/217829
dc.subjectComputer Science and Game Theory
dc.subjectLogic in Computer Science
dc.titleAlpaga: A Tool for Solving Parity Games with Imperfect Information
dc.typetext

Files

Collections

arXiv