par Berwanger, Dietmar;Chatterjee, Krishnendu;De Wulf, Martin ;Doyen, Laurent ;Henzinger, Thomas A.
Référence Lecture notes in computer science, 5505 LNCS, page (58-61)
Publication Publié, 2009
Référence Lecture notes in computer science, 5505 LNCS, page (58-61)
Publication Publié, 2009
Article révisé par les pairs
Résumé : | 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. © 2009 Springer Berlin Heidelberg. |