Dominik Wojtczak

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 76

Top Venues

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

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) (2024)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Decision Processes. AAAI (2024)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Multi-objective ω-Regular Reinforcement Learning. Formal Aspects Comput. 35 (2) (2023)
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 (2023)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Decision Processes. CoRR (2023)
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)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Reward Machines. ECAI (2023)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Reward Machines. CoRR (2023)
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) (2023)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Alternating Good-for-MDP Automata. CoRR (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Recursive Reinforcement Learning. CoRR (2022)
Krzysztof R. Apt, Sunil Simon, Dominik Wojtczak
Coordination Games on Weighted Directed Graphs. Math. Oper. Res. 47 (2) (2022)
Joseph Livesey, Dominik Wojtczak
Propositional Gossip Protocols under Fair Schedulers. IJCAI (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
An Impossibility Result in Automata-Theoretic Reinforcement Learning. ATVA (2022)
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)
Yanhua Xu, Dominik Wojtczak
Multi-channel neural networks for predicting influenza A virus hosts and antigenic types. CoRR (2022)
Mehmet Kurucan, Mete Özbaltan, Sven Schewe, Dominik Wojtczak
Hidden 1-Counter Markov Models and How to Learn Them. IJCAI (2022)
Yanhua Xu, Dominik Wojtczak
Predicting Influenza A Viral Host Using PSSM and Word Embeddings. CoRR (2022)
Yanhua Xu, Dominik Wojtczak
Dive into Machine Learning Algorithms for Influenza Virus Host Prediction with Hemagglutinin Sequences. CoRR (2022)
Yanhua Xu, Dominik Wojtczak
End-to-End Multi-channel Neural Networks for Predicting Influenza a Virus Hosts and Antigenic Types. KDIR (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Reinforcement Learning with Guarantees that Hold for Ever. FMICS (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Recursive Reinforcement Learning. NeurIPS (2022)
Yanhua Xu, Dominik Wojtczak
Dive into machine learning algorithms for influenza virus host prediction with hemagglutinin sequences. Biosyst. 220 (2022)
Bart de Keijzer, Dominik Wojtczak
Facility Reallocation on the Line. Algorithmica 84 (10) (2022)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Alternating Good-for-MDPs Automata. ATVA (2022)
Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. FoSSaCS (2021)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. FM (2021)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Model-free Reinforcement Learning for Branching Markov Decision Processes. CoRR (2021)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero, Sven Schewe, Dominik Wojtczak
Priority Promotion with Parysian Flair. CoRR (2021)
Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. CoRR (2021)
Bart de Keijzer, Dominik Wojtczak
Facility Reallocation on the Line. CoRR (2021)
Joseph Livesey, Dominik Wojtczak
Leveraging Neural Networks in Malaria Control. CIBCB (2021)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Mungojerrie: Reinforcement Learning of Linear-Time Objectives. CoRR (2021)
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)
Karoliina Lehtinen, Pawel Parys, Sven Schewe, Dominik Wojtczak
A Recursive Approach to Solving Parity Games in Quasipolynomial Time. CoRR (2021)
Joseph Livesey, Dominik Wojtczak
Propositional Gossip Protocols. FCT (2021)
Joseph Livesey, Dominik Wojtczak
Minimal Number of Calls in Propositional Protocols. RP (2021)
Yanhua Xu, Dominik Wojtczak
Predicting Influenza A Viral Host Using PSSM and Word Embeddings. CIBCB (2021)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke, Dominik Wojtczak
How to Play in Infinite MDPs (Invited Talk). ICALP (2020)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Reward Shaping for Reinforcement Learning with Omega-Regular Objectives. CoRR (2020)
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)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Model-Free Reinforcement Learning for Stochastic Parity Games. CONCUR (2020)
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)
Ernst Moritz Hahn, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi, Sven Schewe, Dominik Wojtczak
Good-for-MDPs Automata. CoRR (2019)
Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis
Recursive stochastic games with positive rewards. Theor. Comput. Sci. 777 (2019)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Objectives in Model-Free Reinforcement Learning. TACAS (1) (2019)
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) (2019)
Krzysztof R. Apt, Sunil Simon, Dominik Wojtczak
Coordination Games on Weighted Directed Graphs. CoRR (2019)
Krzysztof R. Apt, Dominik Wojtczak
Open Problems in a Logic of Gossips. TARK (2019)
Karoliina Lehtinen, Sven Schewe, Dominik Wojtczak
Improving the complexity of Parys' recursive algorithm. CoRR (2019)
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)
Dominik Wojtczak
On Strong NP-Completeness of Rational Problems. CSR (2018)
Bart de Keijzer, Dominik Wojtczak
Facility Reallocation on the Line. IJCAI (2018)
Dominik Wojtczak
On Strong NP-Completeness of Rational Problems. CoRR (2018)
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Omega-Regular Objectives in Model-Free Reinforcement Learning. CoRR (2018)
Krzysztof R. Apt, Dominik Wojtczak
Verification of Distributed Epistemic Gossip Protocols. J. Artif. Intell. Res. 62 (2018)
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 (2017)
Sunil Simon, Dominik Wojtczak
Constrained Pure Nash Equilibria in Polymatrix Games. AAAI (2017)
Krzysztof R. Apt, Dominik Wojtczak
Decidability of Fair Termination of Gossip Protocols. LPAR (Short Presentations) (2017)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak
Parity Objectives in Countable MDPs. CoRR (2017)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak
Parity objectives in countable MDPs. LICS (2017)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak
On strong determinacy of countable stochastic games. LICS (2017)
Krzysztof R. Apt, Dominik Wojtczak
Common Knowledge in a Logic of Gossips. TARK (2017)
Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak
Optimal Control for Multi-mode Systems with Discrete Costs. FORMATS (2017)
Krzysztof R. Apt, Eryk Kopczynski, Dominik Wojtczak
On the Computational Complexity of Gossip Protocols. IJCAI (2017)
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak
On Strong Determinacy of Countable Stochastic Games. CoRR (2017)
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)
Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak
MDPs with energy-parity objectives. LICS (2017)
Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak
MDPs with Energy-Parity Objectives. CoRR (2017)
Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak
Optimal Control for Multi-Mode Systems with Discrete Costs. CoRR (2017)
Sunil Simon, Dominik Wojtczak
Synchronisation Games on Hypergraphs. IJCAI (2017)
Sunil Simon, Dominik Wojtczak
Efficient Local Search in Coordination Games on Graphs. CoRR (2016)
Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak
Optimal Control for Simple Linear Hybrid Systems. TIME (2016)
Krzysztof R. Apt, Dominik Wojtczak
On Decidability of a Logic of Gossips. JELIA (2016)
Sunil Simon, Dominik Wojtczak
Efficient Local Search in Coordination Games on Graphs. IJCAI (2016)
Sunil Simon, Dominik Wojtczak
Constrained Pure Nash Equilibria in Polymatrix Games. CoRR (2016)
Ankush Das, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi, Dominik Wojtczak
On Pure Nash Equilibria in Stochastic Games. TAMC (2015)
Krzysztof R. Apt, Sunil Simon, Dominik Wojtczak
Coordination Games on Directed Graphs. TARK (2015)
Anshul Gupta, Sven Schewe, Dominik Wojtczak
Making the Best of Limited Memory in Multi-Player Discounted Sum Games. GandALF (2015)
Krishnendu Chatterjee, Vojtech Forejt, Dominik Wojtczak
Multi-objective Discounted Reward Verification in Graphs and MDPs. LPAR (2013)
Dominik Wojtczak
Optimal Control for Linear-Rate Multi-mode Systems. FORMATS (2013)
Dominik Wojtczak
Expected Termination Time in BPA Games. ATVA (2013)
Dominik Wojtczak
Optimal Scheduling for Linear-Rate Multi-Mode Systems CoRR (2013)
Tomás Brázdil, Antonín Kucera, Petr Novotný, Dominik Wojtczak
Minimizing Expected Termination Time in One-Counter Markov Decision Processes. ICALP (2) (2012)
Rajeev Alur, Ashutosh Trivedi, Dominik Wojtczak
Optimal scheduling for constant-rate multi-mode systems. HSCC (2012)
Tomás Brázdil, Antonín Kucera, Petr Novotný, Dominik Wojtczak
Minimizing Expected Termination Time in One-Counter Markov Decision Processes CoRR (2012)
Dominik Wojtczak
Trust Metrics for the SPKI/SDSI Authorisation Framework. ATVA (2011)
Michael Ummels, Dominik Wojtczak
The Complexity of Nash Equilibria in Stochastic Multiplayer Games Log. Methods Comput. Sci. 7 (3) (2011)
Michael Ummels, Dominik Wojtczak
The Complexity of Nash Equilibria in Limit-Average Games CoRR (2011)
Stefan Kiefer, Dominik Wojtczak
On Probabilistic Parallel Programs with Process Creation and Synchronisation. TACAS (2011)
Michael Ummels, Dominik Wojtczak
The Complexity of Nash Equilibria in Limit-Average Games. CONCUR (2011)
Ashutosh Trivedi, Dominik Wojtczak
Recursive Timed Automata. ATVA (2010)
Ashutosh Trivedi, Dominik Wojtczak
Timed Branching Processes. QEST (2010)
Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak
One-Counter Markov Decision Processes. SODA (2010)
Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis
Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems. Perform. Evaluation 67 (9) (2010)
Stefan Kiefer, Dominik Wojtczak
On Probabilistic Parallel Programs with Process Creation and Synchronisation CoRR (2010)
Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak
One-Counter Markov Decision Processes CoRR (2009)
Michael Ummels, Dominik Wojtczak
Decision Problems for Nash Equilibria in Stochastic Games. CSL (2009)
Michael Ummels, Dominik Wojtczak
The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games CoRR (2009)
Michael Ummels, Dominik Wojtczak
Decision Problems for Nash Equilibria in Stochastic Games CoRR (2009)

Dominik Wojtczak.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dominik Wojtczak