Подписаться
Dominik Wojtczak
Dominik Wojtczak
Department of Computer Science, University of Liverpool
Подтвержден адрес электронной почты в домене liverpool.ac.uk - Главная страница
Название
Процитировано
Процитировано
Год
Omega-regular objectives in model-free reinforcement learning
EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak
International conference on tools and algorithms for the construction and …, 2019
1622019
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
992017
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
762010
The complexity of Nash equilibria in limit-average games
M Ummels, D Wojtczak
International Conference on Concurrency Theory, 482-496, 2011
722011
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
642010
Recursive timed automata
A Trivedi, D Wojtczak
International Symposium on Automated Technology for Verification and …, 2010
572010
The complexity of Nash equilibria in stochastic multiplayer games
M Ummels, D Wojtczak
Logical Methods in Computer Science 7, 2011
472011
Recursive stochastic games with positive rewards
K Etessami, D Wojtczak, M Yannakakis
Automata, Languages and Programming: 35th International Colloquium, ICALP …, 2008
442008
PReMo: An Analyzer for Probabilistic Recursive Models
D Wojtczak, K Etessami
Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007
422007
Multi-objective discounted reward verification in graphs and MDPs
K Chatterjee, V Forejt, D Wojtczak
Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013
392013
Good-for-MDPs automata for probabilistic analysis and reinforcement learning
EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak
International Conference on Tools and Algorithms for the Construction and …, 2020
372020
On strong NP-completeness of rational problems
D Wojtczak
Computer Science–Theory and Applications: 13th International Computer …, 2018
342018
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
282012
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
262020
Facility reallocation on the line
B De Keijzer, D Wojtczak
Algorithmica 84 (10), 2898-2925, 2022
232022
A recursive approach to solving parity games in quasipolynomial time
K Lehtinen, P Parys, S Schewe, D Wojtczak
Logical Methods in Computer Science 18, 2022
202022
Dive into machine learning algorithms for influenza virus host prediction with hemagglutinin sequences
Y Xu, D Wojtczak
Biosystems 220, 104740, 2022
192022
On the Computational Complexity of Gossip Protocols.
KR Apt, E Kopczynski, D Wojtczak
IJCAI, 765-771, 2017
192017
The complexity of Nash equilibria in simple stochastic multiplayer games
M Ummels, D Wojtczak
International Colloquium on Automata, Languages, and Programming, 297-308, 2009
192009
Satisfiability modulo theories and chiral heterotic string vacua with positive cosmological constant
AE Faraggi, B Percival, S Schewe, D Wojtczak
Physics Letters B 816, 136187, 2021
182021
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20