2 citations · 3 across the 11 of their papers we have counts for
1 paper · 1 filter
Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
In a Church synthesis game, two players, Adam and Eve, alternately pick some element in a finite alphabet, for an infinite number of rounds. The game is won by Eve if the omega-wor…