This page is no longer updated. Please find my current page at http://www.react.uni-saarland.de/people/zimmermann.html.

Martin Zimmermann

Publications | Selected Presentations | CV

Martin
Office: Room 4030
Banacha 2
02-097 Warszawa
Phone: +48 (22) 55 44 403
E-mail: zimmermann@mimuw.edu.pl

I am a postdoc at the Institute of Informatics of the University of Warsaw.

I did my PhD in Computer Science under the supervision of Wolfgang Thomas at RWTH Aachen University. Before that, I studied Computer Science, also at RWTH Aachen University. During this time, I was a Fulbright student at DePaul University in Chicago.

My research interests include, amongst others, automata, formal languages, and verification of infinite systems, especially time-optimal strategies for infinite games.

PUBLICATIONS

Optimal Bounds in Parametric LTL Games: pdf, ps
Theoretical Computer Science 493, (c) 2013 Elsevier
Cost-Parity and Cost-Streett Games: pdf, ps
Joint work with Nathanaël Fijalkow, FSTTCS 2012
Down the Borel Hierarchy: Solving Muller Games via Safety Games: pdf, ps
Joint work with Daniel Neider and Roman Rabinovich, GandALF 2012
Playing Pushdown Parity Games in a Hurry: pdf, ps
Joint work with Wladimir Fridman, GandALF 2012
Playing Muller Games in a Hurry: pdf, ps
Joint work with John Fearnley, International Journal of Foundations of Computer Science 23(3), (c) 2012 World Scientific Publishing Company
Degrees of Lookahead in Context-free Infinite Games: pdf, ps
Joint work with Wladimir Fridman and Christof Löding, CSL 2011
Optimal Bounds in Parametric LTL Games: pdf, ps
GandALF 2011
Note: the proof of Theorem 10 contains an error. The journal version presents a 3EXPTIME algorithm for the optimization problems. See also Chapter 3 of my PhD thesis.
Playing Muller Games in a Hurry: pdf, ps
Joint work with John Fearnley, GandALF 2010
Time-optimal Winning Strategies for Poset Games: pdf, ps
CIAA 2009, (c) Springer
Note: this document slightly differs from the printed version because an error in Corollary 1 has been corrected.

Technical Reports

Parity and Streett Games with Costs: pdf, ps
Joint work with Nathanaël Fijalkow, arXiv:1207.0663, 2012
Solving Muller Games via Safety Games: pdf, ps
Joint work with Daniel Neider and Roman Rabinovich, Technical Report AIB-2011-14, RWTH Aachen University, 2011
Degrees of Lookahead in Context-free Infinite Games: pdf, ps
Joint work with Wladimir Fridman and Christof Löding, Technical Report AIB-2010-20, RWTH Aachen University, 2010
Parametric LTL Games: pdf, ps
Technical Report AIB-2010-11, RWTH Aachen University, 2010
Time-optimal Winning Strategies for Poset Games: pdf, ps
Technical Report AIB-2009-13, RWTH Aachen University, 2009
Note: this document slightly differs from the original because an error in Corollary 1 has been corrected.

Theses

Solving Infinite Games with Bounds: pdf
PhD thesis, RWTH Aachen University, 2012
Time-optimal Winning Strategies in Infinite Games: pdf
Diploma thesis, RWTH Aachen University, 2009

SELECTED PRESENTATIONS

Cost-Parity and Cost-Streett Games: Slides
AlgoSyn Seminar, RWTH Aachen University, Aachen, Germany, November 2012
Playing Pushdown Parity Games in a Hurry: Slides, Extended Abstract
Games Workshop 2012, Naples, Italy, September 2012
Playing Pushdown Parity Games in a Hurry: Slides
GandALF 2012, Naples, Italy, September 2012
Playing Pushdown Parity Games in a Hurry: Slides, Extended Abstract
AISS 2012, Dubrovnik, Croatia, June 2012
Down the Borel Hierarchy: Solving Muller Games via Safety Games: Slides, Extended Abstract
LICS 2012, Dubrovnik, Croatia, June 2012
Solving Infinite Games with Bounds: Slides
Oberseminar Informatik, RWTH Aachen University, Germany, February 2012
Down the Borel Hierarchy: Solving Muller Games via Safety Games: Slides
Gasics Meeting, Brussels, Belgium, November 2011
Playing Infinite Games in Finite Time: Slides
AlgoSyn Workshop 2011, Kerkrade, Netherlands, November 2011
Degrees of Lookahead in Context-free Infinite Games: Slides, Extended Abstract
Games Workshop 2011, Paris, France, August 2011
Optimal Bounds in Parametric LTL Games: Slides
GandALF 2011, Minori, Italy, June 2011
Degrees of Lookahead in Context-free Infinite Games: Slides
Gasics Meeting, Mons, Belgium, May 2011
Degrees of Lookahead in Context-free Infinite Games: Slides, Extended Abstract
AlMoTh 2011, Leipzig, Germany, February 2011
Synthesis of Time-optimal Controllers: Slides
Computer Science Day 2010, RWTH Aachen University, Aachen, Germany, December 2010
Optimal Bounds in Parametric LTL Games: Slides
Gasics Meeting, Paris, France, November 2010
Playing Muller Games in a Hurry: Slides, Extended Abstract
Games Workshop 2010, Oxford, United Kingdom, September 2010
Playing Muller Games in a Hurry: Slides, Extended Abstract
MoVeP 2010, Aachen, Germany, June 2010
Playing Muller Games in a Hurry: Slides
GandALF 2010, Minori, Italy, June 2010
Playing Muller Games in a Hurry: Slides
Gasics Meeting, Aalborg, Denmark, May 2010
Time-optimal Strategies for Infinite Games: Slides
DIMAP Seminar, University of Warwick, Coventry, United Kingdom, March 2010
Parametric LTL Games: Slides
AlMoTh 2010, Frankfurt am Main, Germany, February 2010
Parametric LTL Games: Slides
Gasics Meeting, Aachen, Germany, October 2009
Prompt and Parametric LTL Games: Slides, Extended Abstract
Games Workshop 2009, Udine, Italy, September 2009
Time-optimal Winning Strategies for Poset Games: Slides
CIAA 2009, Sydney, Australia, July 2009
Time-optimal Winning Strategies in Infinite Games: Slides
Gasics Meeting, Brussels, Belgium, March 2009

CURRICULUM VITAE