1 paper
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…