Chair for Verification and
Synthesis of Reactive Systems
People
Research
Publications
Tools
Student Projects
Courses
Prof. Dr. Martin Zimmermann
Now at
Aalborg University
Publications
While being a member of this group or in collaboration with us.
From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics
Corto Mascle
,
Daniel Neider
,
Maximilian Schwenger
,
Paulo Tabuada
,
Alexander Weinert
and
Martin Zimmermann
·
HSCC 2020
Visibly Linear Dynamic Logic
Alexander Weinert
and
Martin Zimmermann
·
TCS 747
Distributed Synthesis for Parameterized Temporal Logics
Swen Jacobs
,
Leander Tentrup
and
Martin Zimmermann
·
Information and Computation
Synthesizing Optimally Resilient Controllers
Daniel Neider
,
Alexander Weinert
and
Martin Zimmermann
·
CSL 2018
Team Semantics for the Specification and Verification of Hyperproperties
Andreas Krebs
,
Arne Meier
,
Jonni Virtema
and
Martin Zimmermann
·
MFCS 2018
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free
Daniel Neider
,
Alexander Weinert
and
Martin Zimmermann
·
arXiv
Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems
Matthew Hague
,
Roland Meyer
,
Sebastian Muskalla
and
Martin Zimmermann
·
arXiv
Parity Games with Weights
Sven Schewe
,
Alexander Weinert
and
Martin Zimmermann
·
arXiv
Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL
Martin Zimmermann
·
Acta Informatica
The Complexity of Counting Models of Linear-time Temporal Logic
Hazem Torfah
and
Martin Zimmermann
·
Acta Informatica
Finite-state Strategies in Delay Games
Martin Zimmermann
·
GandALF 2017
Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs
Alexander Weinert
and
Martin Zimmermann
·
LMCS
Synthesizing Optimally Resilient Controllers
Daniel Neider
,
Alexander Weinert
and
Martin Zimmermann
·
arXiv
Team Semantics for the Specification and Verification of Hyperproperties
Andreas Krebs
,
Arne Meier
,
Jonni Virtema
and
Martin Zimmermann
·
arXiv
Distributed Synthesis for Parameterized Temporal Logics
Swen Jacobs
,
Leander Tentrup
and
Martin Zimmermann
·
arXiv
Finite-state Strategies in Delay Games (full version)
Sarah Winter
and
Martin Zimmermann
·
arXiv
Bounding Average-energy Games
Patricia Bouyer
,
Piotr Hofman
,
Nicolas Markey
,
Mickael Randour
and
Martin Zimmermann
·
FoSSaCS 2017
Parametric Linear Dynamic Logic
Peter Faymonville
and
Martin Zimmermann
·
Information and Computation
The First-Order Logic of Hyperproperties
Bernd Finkbeiner
and
Martin Zimmermann
·
STACS 2017
Games with Costs and Delays
Martin Zimmermann
·
arXiv
Visibly Linear Dynamic Logic
Alexander Weinert
and
Martin Zimmermann
·
FSTTCS 2016
Delay Games with WMSO+U Winning Conditions
Martin Zimmermann
·
RAIRO - ITA
Limit Your Consumption! Finding Bounds in Average-energy Games
Kim G. Larsen
,
Simon Laursen
and
Martin Zimmermann
·
QAPL 2016
Bounding Average-energy Games
Patricia Bouyer
,
Piotr Hofman
,
Nicolas Markey
,
Mickael Randour
and
Martin Zimmermann
·
arXiv
The First-Order Logic of Hyperproperties
Bernd Finkbeiner
and
Martin Zimmermann
·
arXiv
Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time
Leander Tentrup
,
Alexander Weinert
and
Martin Zimmermann
·
GandALF 2016
Distributed PROMPT-LTL Synthesis
Swen Jacobs
,
Leander Tentrup
and
Martin Zimmermann
·
GandALF 2016
How Much Lookahead is Needed to Win Infinite Games?
Felix Klein
and
Martin Zimmermann
·
LMCS
Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs
Alexander Weinert
and
Martin Zimmermann
·
arXiv:1604.05543
Prompt Delay
Felix Klein
and
Martin Zimmermann
·
arxiv:1602.05045
Visibly Linear Dynamic Logic
Alexander Weinert
and
Martin Zimmermann
·
arXiv:1512.05177
Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time
Leander Tentrup
,
Alexander Weinert
and
Martin Zimmermann
·
arXiv:1511.09450
Limit Your Consumption! Finding Bounds in Average-energy Games
Kim G. Larsen
,
Simon Laursen
and
Martin Zimmermann
·
arXiv:1510.05774
Unbounded Lookahead in WMSO+U Games
Martin Zimmermann
·
arXiv:1509.07495
Distributed PROMPT-LTL Synthesis
Swen Jacobs
,
Leander Tentrup
and
Martin Zimmermann
·
arXiv:1509.05144
Delay Games with WMSO+U Winning Conditions
Martin Zimmermann
·
CSR 2015
How much lookahead is needed to win infinite games?
Felix Klein
and
Martin Zimmermann
·
ICALP 2015
Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL
Martin Zimmermann
·
arXiv:1505.06953
What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead
Felix Klein
and
Martin Zimmermann
·
arXiv:1504.02627
Delay Games with WMSO+U Winning Conditions
Martin Zimmermann
·
arXiv:1412.3978
How much lookahead is needed to win infinite games?
Felix Klein
and
Martin Zimmermann
·
arXiv:1412.3701
The Complexity of Counting Models of Linear-time Temporal Logic
Hazem Torfah
and
Martin Zimmermann
·
FSTTCS 2014
Down the Borel Hierarchy: Solving Muller Games via Safety Games
Daniel Neider
,
Rabinovich
and
Martin Zimmermann
·
TCS
Parametric Linear Dynamic Logic
Peter Faymonville
and
Martin Zimmermann
·
GandALF 2014
Parity and Streett Games with Costs
Nathanaël Fijalkow
and
Martin Zimmermann
·
LMCS
Optimal Strategy Synthesis for Request-Response Games
Florian Horn
,
Wolfgang Thomas
,
Nico Wallmeier
and
Martin Zimmermann
·
Technical report arXiv:1406.4648
Optimal Bounds in Parametric LTL Games
Martin Zimmermann
·
TCS
Cost-Parity and Cost-Streett Games
Nathanaël Fijalkow
and
Martin Zimmermann
·
FSTTCS 2012
Parity and Streett Games with Costs
Nathanaël Fijalkow
and
Martin Zimmermann
·
Technical report arXiv:1207.0663
Down the Borel Hierarchy: Solving Muller Games via Safety Games
Daniel Neider
,
Rabinovich
and
Martin Zimmermann
·
GandALF 2012
Playing Pushdown Parity Games in a Hurry
Wladimir Fridman
and
Martin Zimmermann
·
GandALF 2012
Playing Muller Games in a Hurry
John Fearnley
and
Martin Zimmermann
·
IJFCS
Degrees of Lookahead in Context-free Infinite Games
Wladimir Fridman
,
Christof Löding
and
Martin Zimmermann
·
CSL 2011
Optimal Bounds in Parametric LTL Games
Martin Zimmermann
·
GandALF 2011
Solving Muller Games via Safety Games
Daniel Neider
,
Rabinovich
,
Roman
and
Martin Zimmermann
·
Technical Report AIB-2011-14, RWTH Aachen University
Degrees of Lookahead in Context-free Infinite Games
Wladimir Fridman
,
Christof Löding
and
Martin Zimmermann
·
Technical Report AIB-2010-20, RWTH Aachen University
Parametric LTL Games
Martin Zimmermann
·
Technical Report AIB-2010-11, RWTH Aachen University
Playing Muller Games in a Hurry
John Fearnley
and
Martin Zimmermann
·
GandALF 2010
Time-optimal Winning Strategies for Poset Games
Martin Zimmermann
·
CIAA 2009
Time-optimal Winning Strategies in Infinite Games
Martin Zimmermann
·
UdS
Theses
While being a member of this group or in collaboration with us.
Solving Infinite Games with Bounds
Martin Zimmermann
·
UdS
Contact
Data Privacy Policy
Imprint
Home
People
Publications
More
Research
Tools
Projects
Courses