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