8 citations · 13 across the 3 of their papers we have counts for
1 paper · 1 filter
Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf +2
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…