Dominik Wojtczak
Dominik Wojtczak
Department of Computer Science, University of Liverpool
Bestätigte E-Mail-Adresse bei liverpool.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space
J Fearnley, S Jain, B De Keijzer, S Schewe, F Stephan, D Wojtczak
International Journal on Software Tools for Technology Transfer 21 (3), 325-349, 2019
752019
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
682010
Omega-regular objectives in model-free reinforcement learning
EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak
arXiv preprint arXiv:1810.00950, 2018
652018
Recursive timed automata
A Trivedi, D Wojtczak
International Symposium on Automated Technology for Verification and …, 2010
602010
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
572010
The complexity of Nash equilibria in limit-average games
M Ummels, D Wojtczak
International Conference on Concurrency Theory, 482-496, 2011
562011
The complexity of Nash equilibria in stochastic multiplayer games
M Ummels, D Wojtczak
arXiv preprint arXiv:1109.4017, 2011
412011
Recursive stochastic games with positive rewards
K Etessami, D Wojtczak, M Yannakakis
International Colloquium on Automata, Languages, and Programming, 711-723, 2008
382008
PReMo: An Analyzer for Probabilistic Recursive Models
D Wojtczak, K Etessami
International Conference on Tools and Algorithms for the Construction and …, 2007
382007
Multi-objective discounted reward verification in graphs and MDPs
K Chatterjee, V Forejt, D Wojtczak
International Conference on Logic for Programming Artificial Intelligence …, 2013
322013
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
232012
Coordination games on directed graphs
KR Apt, S Simon, D Wojtczak
arXiv preprint arXiv:1606.07517, 2016
182016
The complexity of Nash equilibria in simple stochastic multiplayer games
M Ummels, D Wojtczak
International Colloquium on Automata, Languages, and Programming, 297-308, 2009
172009
Facility reallocation on the line
B De Keijzer, D Wojtczak
arXiv preprint arXiv:2103.12894, 2021
152021
Making the best of limited memory in multi-player discounted sum games
A Gupta, S Schewe, D Wojtczak
arXiv preprint arXiv:1410.4154, 2014
122014
Decision problems for Nash equilibria in stochastic games
M Ummels, D Wojtczak
International Workshop on Computer Science Logic, 515-529, 2009
122009
MDPs with energy-parity objectives
R Mayr, S Schewe, P Totzke, D Wojtczak
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
102017
Efficient local search in coordination games on graphs
S Simon, D Wojtczak
arXiv preprint arXiv:1604.04809, 2016
102016
Good-for-MDPs automata for probabilistic analysis and reinforcement learning
EM Hahn, M Perez, F Somenzi, A Trivedi, S Schewe, D Wojtczak
arXiv preprint arXiv:1909.05081, 2019
92019
On the Computational Complexity of Gossip Protocols.
KR Apt, E Kopczynski, D Wojtczak
IJCAI, 765-771, 2017
92017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20