activity
20192026
most citedDynamic Conflict Resolution Using Justification Based Reasoning

3 citations · 5 across the 6 of their papers we have counts for

collaborators
Showing 2023Show all

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