6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.GT2016★ 6 cited
Playing Games in the Baire Space
Benedikt Brütsch, Wolfgang Thomas
We solve a generalized version of Church's Synthesis Problem where a play is given by a sequence of natural numbers rather than a sequence of bits; so a play is an element of the B…
cs.FL2014
Optimal Strategy Synthesis for Request-Response Games
Florian Horn, Wolfgang Thomas, Nico Wallmeier +1
We show the existence and effective computability of optimal winning strategies for request-response games in case the quality of a play is measured by the limit superior of the me…