10 citations · 57 across the 48 of their papers we have counts for
Showing 2013 · cs.LOShow all
2 papers · 2 filters
cs.LO2013
Infinite Games Specified by 2-Tape Automata
Olivier Finkel
We prove that the determinacy of Gale-Stewart games whose winning sets are infinitary rational relations accepted by 2-tape Büchi automata is equivalent to the determinacy of (effe…
cs.LO2013
The Determinacy of Context-Free Games
Olivier Finkel
We prove that the determinacy of Gale-Stewart games whose winning sets are accepted by real-time 1-counter Büchi automata is equivalent to the determinacy of (effective) analytic G…