default search action
Dominik Wojtczak
Person information
- affiliation: University of Liverpool, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j13]Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero, Sven Schewe, Dominik Wojtczak:
Priority Promotion with Parysian flair. J. Comput. Syst. Sci. 147: 103580 (2025) - 2024
- [j12]Yanhua Xu, Dominik Wojtczak:
Correction: MC-NN: An End-to-End Multi-Channel Neural Network Approach for Predicting Influenza A Virus Hosts and Antigenic Types. SN Comput. Sci. 5(4): 331 (2024) - [c59]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Decision Processes. AAAI 2024: 21125-21133 - [c58]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Multi-Agent Reinforcement Learning for Alternating-Time Logic. ECAI 2024: 1680-1687 - 2023
- [j11]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Multi-objective ω-Regular Reinforcement Learning. Formal Aspects Comput. 35(2): 12:1-12:24 (2023) - [j10]Yanhua Xu, Dominik Wojtczak:
MC-NN: An End-to-End Multi-Channel Neural Network Approach for Predicting Influenza A Virus Hosts and Antigenic Types. SN Comput. Sci. 4(5): 435 (2023) - [c57]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Reward Machines. ECAI 2023: 972-979 - [c56]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning. TACAS (1) 2023: 527-545 - [i34]Yanhua Xu, Dominik Wojtczak:
MC-NN: An End-to-End Multi-Channel Neural Network Approach for Predicting Influenza A Virus Hosts and Antigenic Types. CoRR abs/2306.05587 (2023) - [i33]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Reward Machines. CoRR abs/2308.07469 (2023) - [i32]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Decision Processes. CoRR abs/2312.08602 (2023) - 2022
- [j9]Bart de Keijzer, Dominik Wojtczak:
Facility Reallocation on the Line. Algorithmica 84(10): 2898-2925 (2022) - [j8]Yanhua Xu, Dominik Wojtczak:
Dive into machine learning algorithms for influenza virus host prediction with hemagglutinin sequences. Biosyst. 220: 104740 (2022) - [j7]Karoliina Lehtinen, Pawel Parys, Sven Schewe, Dominik Wojtczak:
A Recursive Approach to Solving Parity Games in Quasipolynomial Time. Log. Methods Comput. Sci. 18(1) (2022) - [j6]Krzysztof R. Apt, Sunil Simon, Dominik Wojtczak:
Coordination Games on Weighted Directed Graphs. Math. Oper. Res. 47(2): 995-1025 (2022) - [c55]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
An Impossibility Result in Automata-Theoretic Reinforcement Learning. ATVA 2022: 42-57 - [c54]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Alternating Good-for-MDPs Automata. ATVA 2022: 303-319 - [c53]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Reinforcement Learning with Guarantees that Hold for Ever. FMICS 2022: 3-7 - [c52]Yanhua Xu, Dominik Wojtczak:
End-to-End Multi-channel Neural Networks for Predicting Influenza a Virus Hosts and Antigenic Types. KDIR 2022: 40-50 - [c51]Joseph Livesey, Dominik Wojtczak:
Propositional Gossip Protocols under Fair Schedulers. IJCAI 2022: 391-397 - [c50]Mehmet Kurucan, Mete Özbaltan, Sven Schewe, Dominik Wojtczak:
Hidden 1-Counter Markov Models and How to Learn Them. IJCAI 2022: 4857-4863 - [c49]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Recursive Reinforcement Learning. NeurIPS 2022 - [i31]Yanhua Xu, Dominik Wojtczak:
Predicting Influenza A Viral Host Using PSSM and Word Embeddings. CoRR abs/2201.01140 (2022) - [i30]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Alternating Good-for-MDP Automata. CoRR abs/2205.03243 (2022) - [i29]Yanhua Xu, Dominik Wojtczak:
Multi-channel neural networks for predicting influenza A virus hosts and antigenic types. CoRR abs/2206.03823 (2022) - [i28]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Recursive Reinforcement Learning. CoRR abs/2206.11430 (2022) - [i27]Yanhua Xu, Dominik Wojtczak:
Dive into Machine Learning Algorithms for Influenza Virus Host Prediction with Hemagglutinin Sequences. CoRR abs/2207.13842 (2022) - 2021
- [c48]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Model-Free Reinforcement Learning for Branching Markov Decision Processes. CAV (2) 2021: 651-673 - [c47]Joseph Livesey, Dominik Wojtczak:
Leveraging Neural Networks in Malaria Control. CIBCB 2021: 1-6 - [c46]Yanhua Xu, Dominik Wojtczak:
Predicting Influenza A Viral Host Using PSSM and Word Embeddings. CIBCB 2021: 1-10 - [c45]Joseph Livesey, Dominik Wojtczak:
Propositional Gossip Protocols. FCT 2021: 354-370 - [c44]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. FM 2021: 142-159 - [c43]Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak:
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. FoSSaCS 2021: 427-447 - [c42]Joseph Livesey, Dominik Wojtczak:
Minimal Number of Calls in Propositional Protocols. RP 2021: 132-148 - [d1]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Model-free Reinforcement Learning for Branching Markov Decision Processes (Artifact Evaluation for CAV 2021). Zenodo, 2021 - [i26]Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak:
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. CoRR abs/2101.06989 (2021) - [i25]Bart de Keijzer, Dominik Wojtczak:
Facility Reallocation on the Line. CoRR abs/2103.12894 (2021) - [i24]Karoliina Lehtinen, Pawel Parys, Sven Schewe, Dominik Wojtczak:
A Recursive Approach to Solving Parity Games in Quasipolynomial Time. CoRR abs/2104.09717 (2021) - [i23]Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero, Sven Schewe, Dominik Wojtczak:
Priority Promotion with Parysian Flair. CoRR abs/2105.01738 (2021) - [i22]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Model-free Reinforcement Learning for Branching Markov Decision Processes. CoRR abs/2106.06777 (2021) - [i21]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Mungojerrie: Reinforcement Learning of Linear-Time Objectives. CoRR abs/2106.09161 (2021) - 2020
- [c41]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. ATVA 2020: 108-124 - [c40]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Model-Free Reinforcement Learning for Stochastic Parity Games. CONCUR 2020: 21:1-21:16 - [c39]Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke, Dominik Wojtczak:
How to Play in Infinite MDPs (Invited Talk). ICALP 2020: 3:1-3:18 - [c38]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning. TACAS (1) 2020: 306-323 - [i20]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Reward Shaping for Reinforcement Learning with Omega-Regular Objectives. CoRR abs/2001.05977 (2020)
2010 – 2019
- 2019
- [j5]John Fearnley, Sanjay Jain, Bart de Keijzer, Sven Schewe, Frank Stephan, Dominik Wojtczak:
An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space. Int. J. Softw. Tools Technol. Transf. 21(3): 325-349 (2019) - [j4]Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis:
Recursive stochastic games with positive rewards. Theor. Comput. Sci. 777: 308-328 (2019) - [c37]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Limit reachability for model-free reinforcement learning of ω-regular objectives. SNR 2019: 16-18 - [c36]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Objectives in Model-Free Reinforcement Learning. TACAS (1) 2019: 395-412 - [c35]Krzysztof R. Apt, Dominik Wojtczak:
Open Problems in a Logic of Gossips. TARK 2019: 1-18 - [i19]Karoliina Lehtinen, Sven Schewe, Dominik Wojtczak:
Improving the complexity of Parys' recursive algorithm. CoRR abs/1904.11810 (2019) - [i18]Ernst Moritz Hahn, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi, Sven Schewe, Dominik Wojtczak:
Good-for-MDPs Automata. CoRR abs/1909.05081 (2019) - [i17]Krzysztof R. Apt, Sunil Simon, Dominik Wojtczak:
Coordination Games on Weighted Directed Graphs. CoRR abs/1910.02693 (2019) - 2018
- [j3]Krzysztof R. Apt, Dominik Wojtczak:
Verification of Distributed Epistemic Gossip Protocols. J. Artif. Intell. Res. 62: 101-132 (2018) - [c34]Dominik Wojtczak:
On Strong NP-Completeness of Rational Problems. CSR 2018: 308-320 - [c33]Bart de Keijzer, Dominik Wojtczak:
Facility Reallocation on the Line. IJCAI 2018: 188-194 - [i16]Dominik Wojtczak:
On Strong NP-Completeness of Rational Problems. CoRR abs/1802.09465 (2018) - [i15]Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak:
Omega-Regular Objectives in Model-Free Reinforcement Learning. CoRR abs/1810.00950 (2018) - 2017
- [c32]Sunil Simon, Dominik Wojtczak:
Constrained Pure Nash Equilibria in Polymatrix Games. AAAI 2017: 691-697 - [c31]Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak:
Optimal Control for Multi-mode Systems with Discrete Costs. FORMATS 2017: 77-96 - [c30]Sunil Simon, Dominik Wojtczak:
Synchronisation Games on Hypergraphs. IJCAI 2017: 402-408 - [c29]Krzysztof R. Apt, Eryk Kopczynski, Dominik Wojtczak:
On the Computational Complexity of Gossip Protocols. IJCAI 2017: 765-771 - [c28]Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak:
Parity objectives in countable MDPs. LICS 2017: 1-11 - [c27]Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak:
On strong determinacy of countable stochastic games. LICS 2017: 1-12 - [c26]Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak:
MDPs with energy-parity objectives. LICS 2017: 1-12 - [c25]Krzysztof R. Apt, Dominik Wojtczak:
Decidability of Fair Termination of Gossip Protocols. LPAR (Short Presentations) 2017: 73-85 - [c24]John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, Dominik Wojtczak:
An ordered approach to solving parity games in quasi polynomial time and quasi linear space. SPIN 2017: 112-121 - [c23]Krzysztof R. Apt, Dominik Wojtczak:
Common Knowledge in a Logic of Gossips. TARK 2017: 10-27 - [i14]Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak:
MDPs with Energy-Parity Objectives. CoRR abs/1701.02546 (2017) - [i13]John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, Dominik Wojtczak:
An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space. CoRR abs/1703.01296 (2017) - [i12]Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak:
Parity Objectives in Countable MDPs. CoRR abs/1704.04490 (2017) - [i11]Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak:
On Strong Determinacy of Countable Stochastic Games. CoRR abs/1704.05003 (2017) - [i10]Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak:
Optimal Control for Multi-Mode Systems with Discrete Costs. CoRR abs/1706.09886 (2017) - 2016
- [c22]Sunil Simon, Dominik Wojtczak:
Efficient Local Search in Coordination Games on Graphs. IJCAI 2016: 482-488 - [c21]Krzysztof R. Apt, Dominik Wojtczak:
On Decidability of a Logic of Gossips. JELIA 2016: 18-33 - [c20]Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak:
Optimal Control for Simple Linear Hybrid Systems. TIME 2016: 12-20 - [i9]Sunil Simon, Dominik Wojtczak:
Efficient Local Search in Coordination Games on Graphs. CoRR abs/1604.04809 (2016) - [i8]Sunil Simon, Dominik Wojtczak:
Constrained Pure Nash Equilibria in Polymatrix Games. CoRR abs/1611.09515 (2016) - 2015
- [c19]Ankush Das, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi, Dominik Wojtczak:
On Pure Nash Equilibria in Stochastic Games. TAMC 2015: 359-371 - [c18]Anshul Gupta, Sven Schewe, Dominik Wojtczak:
Making the Best of Limited Memory in Multi-Player Discounted Sum Games. GandALF 2015: 16-30 - [c17]Krzysztof R. Apt, Sunil Simon, Dominik Wojtczak:
Coordination Games on Directed Graphs. TARK 2015: 67-80 - 2013
- [c16]Dominik Wojtczak:
Expected Termination Time in BPA Games. ATVA 2013: 303-318 - [c15]Dominik Wojtczak:
Optimal Control for Linear-Rate Multi-mode Systems. FORMATS 2013: 258-273 - [c14]Krishnendu Chatterjee, Vojtech Forejt, Dominik Wojtczak:
Multi-objective Discounted Reward Verification in Graphs and MDPs. LPAR 2013: 228-242 - [i7]Dominik Wojtczak:
Optimal Scheduling for Linear-Rate Multi-Mode Systems. CoRR abs/1302.4406 (2013) - 2012
- [c13]Rajeev Alur, Ashutosh Trivedi, Dominik Wojtczak:
Optimal scheduling for constant-rate multi-mode systems. HSCC 2012: 75-84 - [c12]Tomás Brázdil, Antonín Kucera, Petr Novotný, Dominik Wojtczak:
Minimizing Expected Termination Time in One-Counter Markov Decision Processes. ICALP (2) 2012: 141-152 - [i6]Tomás Brázdil, Antonín Kucera, Petr Novotný, Dominik Wojtczak:
Minimizing Expected Termination Time in One-Counter Markov Decision Processes. CoRR abs/1205.1473 (2012) - 2011
- [j2]Michael Ummels, Dominik Wojtczak:
The Complexity of Nash Equilibria in Stochastic Multiplayer Games. Log. Methods Comput. Sci. 7(3) (2011) - [c11]Dominik Wojtczak:
Trust Metrics for the SPKI/SDSI Authorisation Framework. ATVA 2011: 168-182 - [c10]Michael Ummels, Dominik Wojtczak:
The Complexity of Nash Equilibria in Limit-Average Games. CONCUR 2011: 482-496 - [c9]Stefan Kiefer, Dominik Wojtczak:
On Probabilistic Parallel Programs with Process Creation and Synchronisation. TACAS 2011: 296-310 - [i5]Michael Ummels, Dominik Wojtczak:
The Complexity of Nash Equilibria in Limit-Average Games. CoRR abs/1109.6220 (2011) - 2010
- [j1]Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis:
Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems. Perform. Evaluation 67(9): 837-857 (2010) - [c8]Ashutosh Trivedi, Dominik Wojtczak:
Recursive Timed Automata. ATVA 2010: 306-324 - [c7]Ashutosh Trivedi, Dominik Wojtczak:
Timed Branching Processes. QEST 2010: 219-228 - [c6]Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak:
One-Counter Markov Decision Processes. SODA 2010: 863-874 - [i4]Stefan Kiefer, Dominik Wojtczak:
On Probabilistic Parallel Programs with Process Creation and Synchronisation. CoRR abs/1012.2998 (2010)
2000 – 2009
- 2009
- [b1]Dominik Wojtczak:
Recursive probabilistic models : efficient analysis and implementation. University of Edinburgh, UK, 2009 - [c5]Michael Ummels, Dominik Wojtczak:
Decision Problems for Nash Equilibria in Stochastic Games. CSL 2009: 515-529 - [c4]Michael Ummels, Dominik Wojtczak:
The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games. ICALP (2) 2009: 297-308 - [i3]Michael Ummels, Dominik Wojtczak:
The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games. CoRR abs/0902.0101 (2009) - [i2]Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak:
One-Counter Markov Decision Processes. CoRR abs/0904.2511 (2009) - [i1]Michael Ummels, Dominik Wojtczak:
Decision Problems for Nash Equilibria in Stochastic Games. CoRR abs/0904.3325 (2009) - 2008
- [c3]Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis:
Recursive Stochastic Games with Positive Rewards. ICALP (1) 2008: 711-723 - [c2]Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis:
Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems. QEST 2008: 243-253 - 2007
- [c1]Dominik Wojtczak, Kousha Etessami:
PReMo : An Analyzer for P robabilistic Re cursive Mo dels. TACAS 2007: 66-71
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-28 20:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint