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
showing all ?? records
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
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
Multi-Agent Reinforcement Learning for Alternating-Time Logic. ECAI 2024: 1680-1687 - [i35]Wanrong Yang, Alberto Acuto, Yihang Zhou, Dominik Wojtczak:
A Survey for Deep Reinforcement Learning Based Network Intrusion Detection. CoRR abs/2410.07612 (2024) - 2023
- [j11]Ernst Moritz Hahn
Multi-objective ω-Regular Reinforcement Learning. Formal Aspects Comput. 35(2): 12:1-12:24 (2023) - [j10]Yanhua Xu
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
Omega-Regular Reward Machines. ECAI 2023: 972-979 - [c56]Ernst Moritz Hahn
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
Facility Reallocation on the Line. Algorithmica 84(10): 2898-2925 (2022) - [j8]Yanhua Xu
Dive into machine learning algorithms for influenza virus host prediction with hemagglutinin sequences. Biosyst. 220: 104740 (2022) - [j7]Karoliina Lehtinen, Pawel Parys
A Recursive Approach to Solving Parity Games in Quasipolynomial Time. Log. Methods Comput. Sci. 18(1) (2022) - [j6]Krzysztof R. Apt
Coordination Games on Weighted Directed Graphs. Math. Oper. Res. 47(2): 995-1025 (2022) - [c55]Ernst Moritz Hahn
An Impossibility Result in Automata-Theoretic Reinforcement Learning. ATVA 2022: 42-57 - [c54]Ernst Moritz Hahn
Alternating Good-for-MDPs Automata. ATVA 2022: 303-319 - [c53]Ernst Moritz Hahn
Reinforcement Learning with Guarantees that Hold for Ever. FMICS 2022: 3-7 - [c52]Yanhua Xu
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
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
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
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
Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. FM 2021: 142-159 - [c43]Richard Mayr, Sven Schewe
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
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
Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. ATVA 2020: 108-124 - [c40]Ernst Moritz Hahn
Model-Free Reinforcement Learning for Stochastic Parity Games. CONCUR 2020: 21:1-21:16 - [c39]Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke
How to Play in Infinite MDPs (Invited Talk). ICALP 2020: 3:1-3:18 - [c38]Ernst Moritz Hahn
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
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
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
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
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
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
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
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
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
On Pure Nash Equilibria in Stochastic Games. TAMC 2015: 359-371 - [c18]Anshul Gupta, Sven Schewe
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
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
Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems. Perform. Evaluation 67(9): 837-857 (2010) - [c8]Ashutosh Trivedi
Recursive Timed Automata. ATVA 2010: 306-324 - [c7]Ashutosh Trivedi
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
Recursive Stochastic Games with Positive Rewards. ICALP (1) 2008: 711-723 - [c2]Kousha Etessami, Dominik Wojtczak
Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems. QEST 2008: 243-253 - 2007
- [c1]Dominik Wojtczak
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-12-10 20:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: