32 citations · 149 across the 42 of their papers we have counts for
6 papers · 1 filter
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…
Team Semantics for the Specification and Verification of Hyperproperties
Andreas Krebs, Arne Meier, Jonni Virtema +1
We develop team semantics for Linear Temporal Logic (LTL) to express hyperproperties, which have recently been identified as a key concept in the verification of information flow p…
Synthesizing Optimally Resilient Controllers
Daniel Neider, Alexander Weinert, Martin Zimmermann
Recently, Dallal, Neider, and Tabuada studied a generalization of the classical game-theoretic model used in program synthesis, which additionally accounts for unmodeled intermitte…
Distributed Synthesis for Parameterized Temporal Logics
Swen Jacobs, Leander Tentrup, Martin Zimmermann
We consider the synthesis of distributed implementations for specifications in parameterized temporal logics such as PROMPT-LTL, which extends LTL by temporal operators equipped wi…
Finite-state Strategies in Delay Games (full version)
Sarah Winter, Martin Zimmermann
What is a finite-state strategy in a delay game? We answer this surprisingly non-trivial question by presenting a very general framework that allows to remove delay: finite-state s…
Games with Costs and Delays
Martin Zimmermann
We demonstrate the usefulness of adding delay to infinite games with quantitative winning conditions. In a delay game, one of the players may delay her moves to obtain a lookahead…