Follow
Dominik Wojtczak
Dominik Wojtczak
Department of Computer Science, University of Liverpool
Verified email at liverpool.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
1182019
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
912017
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
692010
The complexity of Nash equilibria in limit-average games
M Ummels, D Wojtczak
CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011†…, 2011
642011
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
602010
Recursive timed automata
A Trivedi, D Wojtczak
Automated Technology for Verification and Analysis: 8th International†…, 2010
592010
The complexity of Nash equilibria in stochastic multiplayer games
M Ummels, D Wojtczak
arXiv preprint arXiv:1109.4017, 2011
442011
Recursive stochastic games with positive rewards
K Etessami, D Wojtczak, M Yannakakis
Automata, Languages and Programming: 35th International Colloquium, ICALP†…, 2008
422008
PReMo: An Analyzer for Probabilistic Recursive Models
D Wojtczak, K Etessami
Tools and Algorithms for the Construction and Analysis of Systems: 13th†…, 2007
392007
Multi-objective discounted reward verification in graphs and MDPs
K Chatterjee, V Forejt, D Wojtczak
Logic for Programming, Artificial Intelligence, and Reasoning: 19th†…, 2013
382013
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
262012
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
242020
On strong NP-completeness of rational problems
D Wojtczak
Computer Science–Theory and Applications: 13th International Computer†…, 2018
242018
On the Computational Complexity of Gossip Protocols.
KR Apt, E Kopczynski, D Wojtczak
IJCAI, 765-771, 2017
182017
The complexity of Nash equilibria in simple stochastic multiplayer games
M Ummels, D Wojtczak
Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP†…, 2009
182009
Facility reallocation on the line
B De Keijzer, D Wojtczak
Algorithmica 84 (10), 2898-2925, 2022
172022
Coordination games on directed graphs
KR Apt, S Simon, D Wojtczak
arXiv preprint arXiv:1606.07517, 2016
172016
Making the best of limited memory in multi-player discounted sum games
A Gupta, S Schewe, D Wojtczak
arXiv preprint arXiv:1410.4154, 2014
172014
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
162020
Verification of distributed epistemic gossip protocols
KR Apt, D Wojtczak
Journal of Artificial Intelligence Research 62, 101-132, 2018
162018
The system can't perform the operation now. Try again later.
Articles 1–20