Michael Ummels

22 papers B 8Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2015 J jnl
Pure Nash Equilibria in Concurrent Deterministic Games.
Log. Methods Comput. Sci.
Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels
2013 J jnl
Computing Quantiles in Markov Reward Models
CoRR
Michael Ummels, Christel Baier
2013 B conf
Computing Quantiles in Markov Reward Models.
FoSSaCS
Michael Ummels, Christel Baier
2012 B conf
Concurrent Games with Ordered Objectives.
FoSSaCS
Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels
2012 B conf
Playing Stochastic Games Precisely.
CONCUR
Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels
2012 — conf
The Complexity of Quantitative Information Flow in Recursive Programs.
FSTTCS
Rohit Chadha, Michael Ummels
2011 J jnl
Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited
CoRR
Patricia Bouyer, Nicolas Markey, Jörg Olschewski, Michael Ummels
2011 B conf
Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited.
ATVA
Patricia Bouyer, Nicolas Markey, Jörg Olschewski, Michael Ummels
2011 — conf
Nash Equilibria in Concurrent Games with Büchi Objectives.
FSTTCS
Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels
2011 — —
Stochastic multiplayer games: theory and algorithms.
Michael Ummels
2011 J jnl
The Complexity of Nash Equilibria in Limit-Average Games
CoRR
Michael Ummels, Dominik Wojtczak
2011 B conf
The Complexity of Nash Equilibria in Limit-Average Games.
CONCUR
Michael Ummels, Dominik Wojtczak
2011 J jnl
The Complexity of Nash Equilibria in Stochastic Multiplayer Games
Log. Methods Comput. Sci.
Michael Ummels, Dominik Wojtczak
2010 J jnl
The Complexity of Finding Reset Words in Finite Automata
CoRR
Jörg Olschewski, Michael Ummels
2010 B conf
The Complexity of Finding Reset Words in Finite Automata.
MFCS
Jörg Olschewski, Michael Ummels
2009 J jnl
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.
Wolfgang Thomas, Kai Bollue, Dominique Gückel, Gustavo Quiros, Michaela Slaats, Michael Ummels
2009 J jnl
Decision Problems for Nash Equilibria in Stochastic Games
CoRR
Michael Ummels, Dominik Wojtczak
2009 B conf
Decision Problems for Nash Equilibria in Stochastic Games.
CSL
Michael Ummels, Dominik Wojtczak
2009 J jnl
The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games
CoRR
Michael Ummels, Dominik Wojtczak
2009 — conf
The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games.
ICALP (2)
Michael Ummels, Dominik Wojtczak
2008 B conf
The Complexity of Nash Equilibria in Infinite Multiplayer Games.
FoSSaCS
Michael Ummels
2006 — conf
Rational Behaviour and Strategy Construction in Infinite Multiplayer Games.
FSTTCS
Michael Ummels