10 citations · 22 across the 18 of their papers we have counts for
1 paper · 2 filters
Guy Avni, Thomas A. Henzinger, Ventsislav Chonev
Two-player games on graphs are widely studied in formal methods as they model the interaction between a system and its environment. The game is played by moving a token throughout…