Michael Ummels
Michael Ummels
Researcher, German Aerospace Center
Verified email at logic.rwth-aachen.de
Title
Cited by
Cited by
Year
The complexity of Nash equilibria in infinite multiplayer games
M Ummels
International Conference on Foundations of Software Science and …, 2008
612008
The complexity of finding reset words in finite automata
J Olschewski, M Ummels
International Symposium on Mathematical Foundations of Computer Science, 568-579, 2010
602010
Rational behaviour and strategy construction in infinite multiplayer games
M Ummels
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer …, 2006
572006
The complexity of Nash equilibria in limit-average games
M Ummels, D Wojtczak
International Conference on Concurrency Theory, 482-496, 2011
502011
Stochastic multiplayer games: Theory and algorithms
M Ummels
Pallas Publications, 2010
492010
Pure Nash Equilibria in Concurrent Deterministic Games
P Bouyer, R Brenguier, N Markey, M Ummels
arXiv preprint arXiv:1503.06826, 2015
472015
Computing quantiles in Markov reward models
M Ummels, C Baier
International Conference on Foundations of Software Science and …, 2013
402013
Concurrent games with ordered objectives
P Bouyer, R Brenguier, N Markey, M Ummels
International Conference on Foundations of Software Science and …, 2012
392012
The complexity of Nash equilibria in stochastic multiplayer games
M Ummels, D Wojtczak
Logical Methods in Computer Science 7 (3), 2011
392011
Solution concepts and algorithms for infinite multiplayer games
E Grädel, M Ummels
New Perspectives on Games and Interaction 4, 151-178, 2008
392008
Measuring permissiveness in parity games: Mean-payoff parity games revisited
P Bouyer, N Markey, J Olschewski, M Ummels
International Symposium on Automated Technology for Verification and …, 2011
352011
Nash equilibria in concurrent games with Büchi objectives
P Bouyer, R Brenguier, N Markey, M Ummels
LIPIcs-Leibniz International Proceedings in Informatics 13, 2011
342011
Playing stochastic games precisely
T Chen, V Forejt, M Kwiatkowska, A Simaitis, A Trivedi, M Ummels
International Conference on Concurrency Theory, 348-363, 2012
182012
The complexity of Nash equilibria in simple stochastic multiplayer games
M Ummels, D Wojtczak
International Colloquium on Automata, Languages, and Programming, 297-308, 2009
162009
Decision problems for Nash equilibria in stochastic games
M Ummels, D Wojtczak
International Workshop on Computer Science Logic, 515-529, 2009
112009
The Complexity of Quantitative Information Flow in Recursive Programs
R Chadha, M Ummels
IARCS Annual Conference on Foundations of Software Technology and …, 2012
82012
Pure Nash Equilibria in Concurrent Deterministic Games
M Ummels, N Markey, R Brenguier, P Bouyer
Logical Methods in Computer Science 11, 2015
12015
Operatives Verkehrsmanagement für einen energieeffizienten Bahnbetrieb
T Schumann, M Ummels
EI-Der Eisenbahningenieur, 36-40, 2015
12015
Operative Traffic Management for Energy-Efficient Train Operation
M Ummels, T Schumann
6th International Conference on Railway Operations Modelling and Analysis …, 2015
2015
DFG Research Training Group “Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)” DFG-Graduiertenkolleg “Algorithmische Synthese reaktiver und diskret …
W Thomas, K Bollue, D Gückel, G Quiros, M Slaats, M Ummels
it-Information Technology 51 (4), 222-230, 2009
2009
The system can't perform the operation now. Try again later.
Articles 1–20