Stochastic multiplayer games: Theory and algorithms M Ummels Pallas Publications, 2010 | 99 | 2010 |
The complexity of Nash equilibria in infinite multiplayer games M Ummels International Conference on Foundations of Software Science and …, 2008 | 85 | 2008 |
Rational behaviour and strategy construction in infinite multiplayer games M Ummels FSTTCS 2006: Foundations of Software Technology and Theoretical Computer …, 2006 | 83 | 2006 |
The complexity of finding reset words in finite automata J Olschewski, M Ummels International Symposium on Mathematical Foundations of Computer Science, 568-579, 2010 | 73 | 2010 |
The complexity of Nash equilibria in limit-average games M Ummels, D Wojtczak International Conference on Concurrency Theory, 482-496, 2011 | 72 | 2011 |
Pure Nash Equilibria in Concurrent Deterministic Games P Bouyer, R Brenguier, N Markey, M Ummels arXiv preprint arXiv:1503.06826, 2015 | 70 | 2015 |
Computing quantiles in Markov reward models M Ummels, C Baier International Conference on Foundations of Software Science and …, 2013 | 60 | 2013 |
Solution concepts and algorithms for infinite multiplayer games E Grädel, M Ummels New Perspectives on Games and Interaction 4, 151-178, 2008 | 55 | 2008 |
The complexity of Nash equilibria in stochastic multiplayer games M Ummels, D Wojtczak Logical Methods in Computer Science 7 (3), 2011 | 47 | 2011 |
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 | 42 | 2011 |
Concurrent games with ordered objectives P Bouyer, R Brenguier, N Markey, M Ummels International Conference on Foundations of Software Science and …, 2012 | 41 | 2012 |
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 | 39 | 2011 |
Playing stochastic games precisely T Chen, V Forejt, M Kwiatkowska, A Simaitis, A Trivedi, M Ummels International Conference on Concurrency Theory, 348-363, 2012 | 24 | 2012 |
The complexity of Nash equilibria in simple stochastic multiplayer games M Ummels, D Wojtczak International Colloquium on Automata, Languages, and Programming, 297-308, 2009 | 19 | 2009 |
Decision problems for Nash equilibria in stochastic games M Ummels, D Wojtczak International Workshop on Computer Science Logic, 515-529, 2009 | 11 | 2009 |
The Complexity of Quantitative Information Flow in Recursive Programs R Chadha, M Ummels IARCS Annual Conference on Foundations of Software Technology and …, 2012 | 10 | 2012 |
Pure Nash Equilibria in Concurrent Deterministic Games M Ummels, N Markey, R Brenguier, P Bouyer Logical Methods in Computer Science 11, 2015 | 4 | 2015 |
Operatives Verkehrsmanagement für einen energieeffizienten Bahnbetrieb T Schumann, M Ummels EI-Der Eisenbahningenieur, 36-40, 2015 | 2 | 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 | 1 | 2009 |
Operative Traffic Management for Energy-Efficient Train Operation M Ummels, T Schumann 6th International Conference on Railway Operations Modelling and Analysis …, 2015 | | 2015 |