14 citations · 23 across the 10 of their papers we have counts for
1 paper · 1 filter
Milad Aghajohari, Guy Avni, Thomas A. Henzinger
In two-player games on graphs, the players move a token through a graph to produce an infinite path, which determines the winner of the game. Such games are central in formal metho…