Michael Ummels

Publications

Journal papers

1. The Complexity of Nash Equilibria in Stochastic Multiplayer Games (with D. Wojtcak) – Logical Methods in Computer Science

Conference papers

1. Concurrent Games with Ordered Objectives
   (with P. Bouyer, R. Brenguier and N. Markey) – FOSSACS 2012
2. Nash Equilibria in Concurrent Games with Büchi Objectives
   (with P. Bouyer, R. Brenguier and N. Markey) – FSTTCS 2011
3. Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited (with P. Bouyer, N. Markey and J. Olschewski) – ATVA 2011
4. The Complexity of Nash Equilibria in Limit-Average Games (with D. Wojtczak) – CONCUR 2011
5. The Complexity of Finding Reset Words in Finite Automata (with J. Olschewski) – MFCS 2010
6. Decision Problems for Nash Equilibria in Stochastic Games (with D. Wojtczak) – CSL 2009
7. The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games (with D. Wojtczak) – ICALP 2009
8. Solution Concepts and Algorithms for Infinite Multiplayer Games (with E. Grädel) – New Perspectives on Games and Interaction 2007
9. The Complexity of Nash Equilibria in Infinite Multiplayer Games – FOSSACS 2008
10. Rational Behaviour and Strategy Construction in Infinite Multiplayer Games – FSTTCS 2006

Technical reports

Available from arXiv.

Theses

1. Stochastic Multiplayer Games: Theory and Algorithms – PhD thesis – RWTH Aachen University 2010
2. Rational Behaviour and Strategy Construction in Infinite Multiplayer Games – Diploma thesis – RWTH Aachen University 2005

About

I’m a postdoctoral researcher at the chair for Algebraic and Logical Foundations of Computer Science, part of the Faculty of Computer Science at TU Dresden and headed by Prof. Dr. Christel Baier. My research interests include formal verification, probabilistic model checking and algorithmic game theory.

Teaching

From 2006 to 2009 I was a teaching assistant at the chair for Mathematical Foundations of Computer Science at RWTH Aachen University.

Software

• fdsymbol – a math symbol font
• fedraserif – LaTeX support for Fedra Serif Pro
• ccicons – LaTeX support for Creative Commons icons