Michael Ummels

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 1

Top Venues

FoSSaCS

CoRR

FSTTCS

CONCUR

RWTH Aachen University (PHD)

Education History

RWTH Aachen University

PHD

Publications

Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels
Pure Nash Equilibria in Concurrent Deterministic Games. Log. Methods Comput. Sci. 11 (2) (2015)
Michael Ummels, Christel Baier
Computing Quantiles in Markov Reward Models. FoSSaCS (2013)
Michael Ummels, Christel Baier
Computing Quantiles in Markov Reward Models CoRR (2013)
Rohit Chadha, Michael Ummels
The Complexity of Quantitative Information Flow in Recursive Programs. FSTTCS (2012)
Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels
Concurrent Games with Ordered Objectives. FoSSaCS (2012)
Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels
Playing Stochastic Games Precisely. CONCUR (2012)
Patricia Bouyer, Nicolas Markey, Jörg Olschewski, Michael Ummels
Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited. ATVA (2011)
Michael Ummels, Dominik Wojtczak
The Complexity of Nash Equilibria in Stochastic Multiplayer Games Log. Methods Comput. Sci. 7 (3) (2011)
Michael Ummels, Dominik Wojtczak
The Complexity of Nash Equilibria in Limit-Average Games CoRR (2011)
Patricia Bouyer, Nicolas Markey, Jörg Olschewski, Michael Ummels
Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited CoRR (2011)
Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels
Nash Equilibria in Concurrent Games with Büchi Objectives. FSTTCS (2011)
Michael Ummels, Dominik Wojtczak
The Complexity of Nash Equilibria in Limit-Average Games. CONCUR (2011)
Jörg Olschewski, Michael Ummels
The Complexity of Finding Reset Words in Finite Automata CoRR (2010)
Jörg Olschewski, Michael Ummels
The Complexity of Finding Reset Words in Finite Automata. MFCS (2010)
Michael Ummels, Dominik Wojtczak
Decision Problems for Nash Equilibria in Stochastic Games. CSL (2009)
Michael Ummels, Dominik Wojtczak
The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games CoRR (2009)
Michael Ummels, Dominik Wojtczak
Decision Problems for Nash Equilibria in Stochastic Games CoRR (2009)
Wolfgang Thomas, Kai Bollue, Dominique Gückel, Gustavo Quiros, Michaela Slaats, Michael Ummels
DFG Research Training Group "Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)" (DFG-Graduiertenkolleg "Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme (AlgoSyn)"). it Inf. Technol. 51 (4) (2009)
Michael Ummels, Dominik Wojtczak
The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games. ICALP (2) (2009)
Michael Ummels
The Complexity of Nash Equilibria in Infinite Multiplayer Games. FoSSaCS (2008)
Michael Ummels
Rational Behaviour and Strategy Construction in Infinite Multiplayer Games. FSTTCS (2006)

Michael Ummels.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Ummels