Alpaga swMATH ID: 32 Software Authors: Berwanger, Dietmar; Chatterjee, Krishnendu; De Wulf, Martin; Doyen, Laurent; Henzinger, Thomas A. Description: 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. Homepage: http://rd.springer.com/chapter/10.1007%2F978-3-642-00768-2_7 Related Software: PRISM; Acacia+; POMDP; MCMAS-SLK; Mr. Waffles; CTLSAT; EAGLE; MOCHA; PRALINE; MCMAS; Uppaal; UPPAAL TIGA; Antichains; CUDD Cited in: 5 Documents all top 5 Cited by 17 Authors 2 Chatterjee, Krishnendu 1 Berwanger, Dietmar 1 Buckl, Christian 1 Cheng, Chih-Hong 1 Chmelík, Martin 1 De Wulf, Martin 1 Doyen, Laurent 1 Gutierrez, Julian 1 Henzinger, Thomas A. 1 Hunter, Paul 1 Knoll, Alois C. 1 Pérez, Guillermo A. 1 Raskin, Jean-François 1 Rueß, Harald 1 Toumi, Alexis 1 Tracol, Mathieu 1 Wooldridge, Michael J. Cited in 3 Serials 1 Acta Informatica 1 Journal of Computer and System Sciences 1 Information and Computation Cited in 3 Fields 4 Computer science (68-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year