[go: up one dir, main page]

Follow
Michael Ummels
Michael Ummels
Researcher, German Aerospace Center
Verified email at logic.rwth-aachen.de
Title
Cited by
Cited by
Year
Stochastic multiplayer games: Theory and algorithms
M Ummels
Pallas Publications, 2010
1132010
The complexity of Nash equilibria in infinite multiplayer games
M Ummels
International Conference on Foundations of Software Science and …, 2008
982008
Rational behaviour and strategy construction in infinite multiplayer games
M Ummels
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer …, 2006
862006
Pure Nash equilibria in concurrent deterministic games
P Bouyer, R Brenguier, N Markey, M Ummels
Logical methods in computer science 11, 2015
832015
The complexity of Nash equilibria in limit-average games
M Ummels, D Wojtczak
International Conference on Concurrency Theory, 482-496, 2011
832011
The complexity of finding reset words in finite automata
J Olschewski, M Ummels
International symposium on mathematical foundations of computer science, 568-579, 2010
762010
Computing quantiles in Markov reward models
M Ummels, C Baier
International Conference on Foundations of Software Science and …, 2013
652013
Solution concepts and algorithms for infinite multiplayer games
E Grädel, M Ummels
New Perspectives on Games and Interaction 4, 151-178, 2008
582008
The complexity of Nash equilibria in stochastic multiplayer games
M Ummels, D Wojtczak
Logical Methods in Computer Science 7 (3), 2011
562011
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
522011
Concurrent games with ordered objectives
P Bouyer, R Brenguier, N Markey, M Ummels
International Conference on Foundations of Software Science and …, 2012
502012
Nash equilibria in concurrent games with Büchi objectives
P Bouyer, R Brenguier, N Markey, M Ummels
IARCS Annual Conference on Foundations of Software Technology and …, 2011
432011
Playing stochastic games precisely
T Chen, V Forejt, M Kwiatkowska, A Simaitis, A Trivedi, M Ummels
International Conference on Concurrency Theory, 348-363, 2012
242012
The complexity of Nash equilibria in simple stochastic multiplayer games
M Ummels, D Wojtczak
International Colloquium on Automata, Languages, and Programming, 297-308, 2009
202009
Decision problems for Nash equilibria in stochastic games
M Ummels, D Wojtczak
International Workshop on Computer Science Logic, 515-529, 2009
132009
The Complexity of Quantitative Information Flow in Recursive Programs
R Chadha, M Ummels
IARCS Annual Conference on Foundations of Software Technology and …, 2012
92012
Pure Nash equilibria in concurrent deterministic games
M Ummels, N Markey, R Brenguier, P Bouyer
Logical Methods in Computer Science 11, 1-72, 2015
52015
Operatives Verkehrsmanagement für einen energieeffizienten Bahnbetrieb
T Schumann, M Ummels
EI-Der Eisenbahningenieur, 36-40, 2015
22015
DFG Research Training Group “Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)”
M Ummels
it–Information Technology 51, 4, 2009
12009
Betriebsoptimierung im Schienenverkehr
M Ummels, T Schumann
2015
The system can't perform the operation now. Try again later.
Articles 1–20