Alpaga: A tool for solving parity games with imperfect information Conference Paper


Author(s): Berwanger, Dietmar; Chatterjee, Krishnendu; De Wulf, Martin; Doyen, Laurent; Henzinger, Thomas A
Title: Alpaga: A tool for solving parity games with imperfect information
Title Series: LNCS
Affiliation
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.
Conference Title: TACAS: Tools and Algorithms for the Construction and Analysis of Systems
Volume: 5505
Conference Dates: March 22-29, 2009
Conference Location: York, UK
Publisher: Springer  
Location: Berlin, Heidelberg
Date Published: 2009-03-09
Start Page: 58
End Page: 61
URL:
DOI: 10.1007/978-3-642-00768-2_7
Open access: yes (repository)
IST Austria Authors
  1. Thomas A. Henzinger
    415 Henzinger
Related IST Austria Work