Martin Zimmermann
Martin Zimmermann
University of Liverpool
Bestätigte E-Mail-Adresse bei liverpool.ac.uk - Startseite
TitelZitiert vonJahr
Optimal strategy synthesis for request-response games
F Horn, W Thomas, N Wallmeier, M Zimmermann
RAIRO-Theoretical Informatics and Applications 49 (3), 179-203, 2015
40*2015
Optimal Bounds in Parametric LTL Games
M Zimmermann
Theoretical Computer Science 493, 30-45, 2013
402013
Parity and Streett Games with Costs
N Fijalkow, M Zimmermann
Logical Methods in Computer Science 10 (2), 2014
39*2014
Parametric linear dynamic logic
P Faymonville, M Zimmermann
Information and Computation 253, 237-256, 2017
272017
Degrees of Lookahead in Context-free Infinite Games
W Fridman, C Löding, M Zimmermann
CSL 2011 12, 264-276, 2011
212011
How Much Lookahead is Needed to Win Infinite Games?
F Klein, M Zimmermann
Logical Methods in Computer Science 12 (3), 2016
202016
Time-optimal Winning Strategies for Poset Games
M Zimmermann
CIAA 2009 5642, 217-226, 2009
202009
Down the Borel Hierarchy: Solving Muller Games via Safety Games
D Neider, R Rabinovich, M Zimmermann
Theoretical Computer Science 560, 219-234, 2014
14*2014
What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead
F Klein, M Zimmermann
CSL 2015 41, 519--533, 2015
132015
Parameterized linear temporal logics meet costs: Still not costlier than LTL
M Zimmermann
Acta Informatica 55 (2), 129-152, 2018
122018
Delay Games with WMSO+U Winning Conditions
M Zimmermann
RAIRO-Theoretical Informatics and Applications 50 (2), 145-165, 2016
122016
Visibly Linear Dynamic Logic
A Weinert, M Zimmermann
FSTTCS 2016 65, 2016
92016
Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs
M Zimmermann, A Weinert
Logical Methods in Computer Science 13, 2017
8*2017
The complexity of counting models of linear-time temporal logic
H Torfah, M Zimmermann
Acta Informatica 55 (3), 191-212, 2018
62018
Team Semantics for the Specification and Verification of Hyperproperties
A Krebs, A Meier, J Virtema, M Zimmermann
MFCS 2018, 2017
62017
Prompt Delay
F Klein, M Zimmermann
FSTTCS 2016 65, 2016
62016
Playing Muller Games in a Hurry
J Fearnley, M Zimmermann
International Journal of Foundations of Computer Science 23 (3), 649-668, 2012
62012
Parity Games with Weights
S Schewe, A Weinert, M Zimmermann
CSL 2018, 2018
52018
Synthesizing Optimally Resilient Controllers
D Neider, A Weinert, M Zimmermann
CSL 2018, 2017
52017
The First-order Logic of Hyperproperties
B Finkbeiner, M Zimmermann
STACS 2017, 2017
52017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20