| Omega-regular objectives in model-free reinforcement learning EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019 | 118 | 2019 |
| An ordered approach to solving parity games in quasi polynomial time and quasi linear space J Fearnley, S Jain, S Schewe, F Stephan, D Wojtczak Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017 | 91 | 2017 |
| One-counter Markov decision processes T Brázdil, V Brožek, K Etessami, A Kučera, D Wojtczak Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete …, 2010 | 69 | 2010 |
| The complexity of Nash equilibria in limit-average games M Ummels, D Wojtczak CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 2011 | 64 | 2011 |
| Quasi-birth–death processes, tree-like QBDs, probabilistic 1-counter automata, and pushdown systems K Etessami, D Wojtczak, M Yannakakis Performance Evaluation 67 (9), 837-857, 2010 | 60 | 2010 |
| Recursive timed automata A Trivedi, D Wojtczak Automated Technology for Verification and Analysis: 8th International …, 2010 | 59 | 2010 |
| The complexity of Nash equilibria in stochastic multiplayer games M Ummels, D Wojtczak arXiv preprint arXiv:1109.4017, 2011 | 44 | 2011 |
| Recursive stochastic games with positive rewards K Etessami, D Wojtczak, M Yannakakis Automata, Languages and Programming: 35th International Colloquium, ICALP …, 2008 | 42 | 2008 |
| PReMo: An Analyzer for Probabilistic Recursive Models D Wojtczak, K Etessami Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007 | 39 | 2007 |
| Multi-objective discounted reward verification in graphs and MDPs K Chatterjee, V Forejt, D Wojtczak Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013 | 38 | 2013 |
| Optimal scheduling for constant-rate multi-mode systems R Alur, A Trivedi, D Wojtczak Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012 | 26 | 2012 |
| Good-for-MDPs automata for probabilistic analysis and reinforcement learning EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020 | 24 | 2020 |
| On strong NP-completeness of rational problems D Wojtczak Computer Science–Theory and Applications: 13th International Computer …, 2018 | 24 | 2018 |
| On the Computational Complexity of Gossip Protocols. KR Apt, E Kopczynski, D Wojtczak IJCAI, 765-771, 2017 | 18 | 2017 |
| The complexity of Nash equilibria in simple stochastic multiplayer games M Ummels, D Wojtczak Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP …, 2009 | 18 | 2009 |
| Facility reallocation on the line B De Keijzer, D Wojtczak Algorithmica 84 (10), 2898-2925, 2022 | 17 | 2022 |
| Coordination games on directed graphs KR Apt, S Simon, D Wojtczak arXiv preprint arXiv:1606.07517, 2016 | 17 | 2016 |
| Making the best of limited memory in multi-player discounted sum games A Gupta, S Schewe, D Wojtczak arXiv preprint arXiv:1410.4154, 2014 | 17 | 2014 |
| Faithful and effective reward schemes for model-free reinforcement learning of omega-regular objectives EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak Automated Technology for Verification and Analysis: 18th International …, 2020 | 16 | 2020 |
| Verification of distributed epistemic gossip protocols KR Apt, D Wojtczak Journal of Artificial Intelligence Research 62, 101-132, 2018 | 16 | 2018 |
Sven ScheweProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
