32 citations · 149 across the 42 of their papers we have counts for
5 papers · 1 filter
Delay Games with WMSO+U Winning Conditions
Martin Zimmermann
Delay games are two-player games of infinite duration in which one player may delay her moves to obtain a lookahead on her opponent's moves. We consider delay games with winning co…
How Much Lookahead is Needed to Win Infinite Games?
Felix Klein, Martin Zimmermann
Delay games are two-player games of infinite duration in which one player may delay her moves to obtain a lookahead on her opponent's moves. For -regular winning conditions it i…
Parametric Linear Dynamic Logic
Peter Faymonville, Martin Zimmermann
We introduce Parametric Linear Dynamic Logic (PLDL), which extends Linear Dynamic Logic (LDL) by temporal operators equipped with parameters that bound their scope. LDL was propose…
The Complexity of Counting Models of Linear-time Temporal Logic
Hazem Torfah, Martin Zimmermann
We determine the complexity of counting models of bounded size of specifications expressed in Linear-time Temporal Logic. Counting word models is #P-complete, if the bound is given…
Optimal Strategy Synthesis for Request-Response Games
Florian Horn, Wolfgang Thomas, Nico Wallmeier +1
We show the existence and effective computability of optimal winning strategies for request-response games in case the quality of a play is measured by the limit superior of the me…