Martin Zimmermann

This page is no longer updated. Please find my current page at http://www.mimuw.edu.pl/~zimmermann/.

Personal Information

I was a member of Wolfgang Thomas' research group for "Logic and Theory of Discrete Systems" at the RWTH Aachen. Currently, I am a Postdoc at the Institute of Informatics of the University of Warsaw.

Teaching

Winter 2011/12
Proseminar on Automatentheorie
Summer 2011
Exercises for Angewandete Automatentheorie
Informatik-Praktikum für Mathematiker
Winter 2009/10
Seminar on Automatentheorie
Practical Course Webprogrammierung und das Satzsystem LaTeX
Summer 2010
Seminar on Automatentheorie
Informatik-Praktikum für Mathematiker
Winter 2009/10
Exercises for Regular and Context-Free Languages: Advanced Results
Seminar on Automatentheorie
Practical Course Webprogrammierung und das Satzsystem LaTeX
Summer 2009
Seminar on Automatentheorie

Publications

Selected Presentations

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