Alpaga: A Tool for Solving Parity Games with Imperfect Information
Berwanger, Dietmar; Chatterjee, Krishnendu; De Wulf, Martin; Doyen, Laurent; Henzinger, Thomas A.
2009

Files

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.

Details

Title Alpaga: A Tool for Solving Parity Games with Imperfect Information
Author(s) Berwanger, Dietmar ; Chatterjee, Krishnendu ; De Wulf, Martin ; Doyen, Laurent ; Henzinger, Thomas A.
Date 2009
Keywords
Laboratories MTC
Record Appears in Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > MTC - Models and Theory of Computation Laboratory
Work produced at EPFL
Technical Reports
Published
Record creation date 2008-12-29

Actions

Preview