On the Existence of Reactive Strategies Resilient to Delay

Martin Fränzle, Paul Kröger, Sarah Winter +1

We compare games under delayed control and delay games, two types of infinite games modelling asynchronicity in reactive synthesis. In games under delayed control both players suff…