27 citations · 46 across the 9 of their papers we have counts for
1 paper · 2 filters
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…