Alpaga

Alpaga: A Tool for Solving Parity Games with Imperfect Information. 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.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 6 articles )

Showing results 1 to 6 of 6.
Sorted by year (citations)

  1. Hunter, Paul; Pérez, Guillermo A.; Raskin, Jean-François: Looking at mean payoff through foggy windows (2018)
  2. Chatterjee, Krishnendu; Chmelík, Martin; Tracol, Mathieu: What is decidable about partially observable Markov decision processes with (\omega)-regular objectives (2016)
  3. Cheng, Chih-Hong; Rueß, Harald; Knoll, Alois; Buckl, Christian: Synthesis of fault-tolerant embedded systems using games: from theory to practice (2011)
  4. Berwanger, Dietmar; Chatterjee, Krishnendu; De Wulf, Martin; Doyen, Laurent; Henzinger, Thomas A.: Strategy construction for parity games with imperfect information (2010)
  5. Berwanger, Dietmar; Chatterjee, Krishnendu; De Wulf, Martin; Doyen, Laurent; Henzinger, Thomas A.: Alpaga: A tool for solving parity games with imperfect information (2009) ioport
  6. Berwanger, Dietmar; Chatterjee, Krishnendu; De Wulf, Martin; Doyen, Laurent; Henzinger, Thomas A.: Alpaga: a tool for solving parity games with imperfect information (2009) ioport