32 citations · 149 across the 42 of their papers we have counts for
4 papers · 1 filter
Optimally Resilient Strategies in Pushdown Safety Games
Daniel Neider, Patrick Totzke, Martin Zimmermann
Infinite-duration games with disturbances extend the classical framework of infinite-duration games, which captures the reactive synthesis problem, with a discrete measure of resil…
Promptness and Bounded Fairness in Concurrent and Parameterized Systems
Swen Jacobs, Mouhammad Sakr, Martin Zimmermann
We investigate the satisfaction of specifications in Prompt Linear Temporal Logic (Prompt-LTL) by concurrent systems. Prompt-LTL is an extension of LTL that allows to specify param…
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free
Daniel Neider, Alexander Weinert, Martin Zimmermann
Linear Temporal Logic (LTL) is the standard specification language for reactive systems and is successfully applied in industrial settings. However, many shortcomings of LTL have b…
The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas
Corto Mascle, Martin Zimmermann
HyperLTL, the extension of Linear Temporal Logic by trace quantifiers, is a uniform framework for expressing information flow policies by relating multiple traces of a security-cri…