6 citations · 7 across the 2 of their papers we have counts for
Showing cs.GTShow all
2 papers · 1 filter
cs.GT2023
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…
cs.GT2017★ 6 cited
Finite-state Strategies in Delay Games
Martin Zimmermann
What is a finite-state strategy in a delay game? We answer this surprisingly non-trivial question and present a very general framework for computing such strategies: they exist for…