3 citations · 5 across the 6 of their papers we have counts for
Showing cs.GTShow all
2 papers · 1 filter
cs.GT2026
Synthesizing Update Schedules with Game-Based Extension of Bounded Model Checking
Janis Kröger, Paul Kröger, Martin Fränzle
Ensuring safe software updates in safety-critical systems without interrupting operation and without provisioning and activating cold spare hardware poses a fundamental challenge d…
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…