4 citations · 22 across the 18 of their papers we have counts for
3 papers · 1 filter
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…
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…
Cooperative Maneuvers of Highly Automated Vehicles at Urban Intersections: A Game-theoretic Approach
Björn Koopmann, Stefan Puch, Günter Ehmen +1
In this paper, we propose an approach how connected and highly automated vehicles can perform cooperative maneuvers such as lane changes and left-turns at urban intersections where…