271 citations · 271 across the 2 of their papers we have counts for
1 paper · 1 filter
Martin Fränzle, Sarah Winter, Martin Zimmermann
We compare games under delayed control and delay games, two types of infinite games modelling asynchronicity in reactive synthesis. Our main result, the interreducibility of the ex…