5 citations · 7 across the 6 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…