PReMo : An Analyzer for P robabilistic Re cursive Mo dels. - Dominik Wojtczak; Kousha Etessami (TACAS, 2007)

Decision Problems for Nash Equilibria in Stochastic Games. - Michael Ummels; Dominik Wojtczak (CSL, 2009)

The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games. - Michael Ummels; Dominik Wojtczak (ICALP (2), 2009)

Recursive probabilistic models : efficient analysis and implementation. - Dominik Wojtczak (2009)

Recursive Timed Automata. - Ashutosh Trivedi 001; Dominik Wojtczak (ATVA, 2010)

Timed Branching Processes. - Ashutosh Trivedi 001; Dominik Wojtczak (QEST, 2010)

One-Counter Markov Decision Processes. - Tomás Brázdil; Václav Brozek; Kousha Etessami; Antonín Kucera 001; Dominik Wojtczak (SODA, 2010)

Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems. - Kousha Etessami; Dominik Wojtczak; Mihalis Yannakakis (Perform. Evaluation, 2010)

Trust Metrics for the SPKI/SDSI Authorisation Framework. - Dominik Wojtczak (ATVA, 2011)

The Complexity of Nash Equilibria in Limit-Average Games. - Michael Ummels; Dominik Wojtczak (CONCUR, 2011)

On Probabilistic Parallel Programs with Process Creation and Synchronisation. - Stefan Kiefer; Dominik Wojtczak (TACAS, 2011)

The Complexity of Nash Equilibria in Stochastic Multiplayer Games - Michael Ummels; Dominik Wojtczak (Log. Methods Comput. Sci., 2011)

Optimal scheduling for constant-rate multi-mode systems. - Rajeev Alur; Ashutosh Trivedi 001; Dominik Wojtczak (HSCC, 2012)

Minimizing Expected Termination Time in One-Counter Markov Decision Processes. - Tomás Brázdil; Antonín Kucera 001; Petr Novotný 001; Dominik Wojtczak (ICALP (2), 2012)

Expected Termination Time in BPA Games. - Dominik Wojtczak (ATVA, 2013)

Optimal Control for Linear-Rate Multi-mode Systems. - Dominik Wojtczak (FORMATS, 2013)

Multi-objective Discounted Reward Verification in Graphs and MDPs. - Krishnendu Chatterjee; Vojtech Forejt; Dominik Wojtczak (LPAR, 2013)

Optimal Scheduling for Linear-Rate Multi-Mode Systems - Dominik Wojtczak (CoRR, 2013)

On Pure Nash Equilibria in Stochastic Games. - Ankush Das; Shankara Narayanan Krishna; Lakshmi Manasa; Ashutosh Trivedi 001; Dominik Wojtczak (TAMC, 2015)

Coordination Games on Directed Graphs. - Krzysztof R. Apt; Sunil Simon; Dominik Wojtczak (TARK, 2015)

Making the Best of Limited Memory in Multi-Player Discounted Sum Games. - Anshul Gupta; Sven Schewe; Dominik Wojtczak (GandALF, 2015)

Efficient Local Search in Coordination Games on Graphs. - Sunil Simon; Dominik Wojtczak (IJCAI, 2016)

On Decidability of a Logic of Gossips. - Krzysztof R. Apt; Dominik Wojtczak (JELIA, 2016)

Optimal Control for Simple Linear Hybrid Systems. - Mahmoud A. A. Mousa; Sven Schewe; Dominik Wojtczak (TIME, 2016)

Constrained Pure Nash Equilibria in Polymatrix Games. - Sunil Simon; Dominik Wojtczak (AAAI, 2017)

Optimal Control for Multi-mode Systems with Discrete Costs. - Mahmoud A. A. Mousa; Sven Schewe; Dominik Wojtczak (FORMATS, 2017)

On the Computational Complexity of Gossip Protocols. - Krzysztof R. Apt; Eryk Kopczynski; Dominik Wojtczak (IJCAI, 2017)

Synchronisation Games on Hypergraphs. - Sunil Simon; Dominik Wojtczak (IJCAI, 2017)

Parity objectives in countable MDPs. - Stefan Kiefer; Richard Mayr; Mahsa Shirmohammadi; Dominik Wojtczak (LICS, 2017)

On strong determinacy of countable stochastic games. - Stefan Kiefer; Richard Mayr; Mahsa Shirmohammadi; Dominik Wojtczak (LICS, 2017)

MDPs with energy-parity objectives. - Richard Mayr; Sven Schewe; Patrick Totzke; Dominik Wojtczak (LICS, 2017)

Decidability of Fair Termination of Gossip Protocols. - Krzysztof R. Apt; Dominik Wojtczak (LPAR (Short Presentations), 2017)

An ordered approach to solving parity games in quasi polynomial time and quasi linear space. - John Fearnley; Sanjay Jain 001; Sven Schewe; Frank Stephan 001; Dominik Wojtczak (SPIN, 2017)

Common Knowledge in a Logic of Gossips. - Krzysztof R. Apt; Dominik Wojtczak (TARK, 2017)

On Strong NP-Completeness of Rational Problems. - Dominik Wojtczak (CSR, 2018)

Verification of Distributed Epistemic Gossip Protocols. - Krzysztof R. Apt; Dominik Wojtczak (J. Artif. Intell. Res., 2018)

Limit reachability for model-free reinforcement learning of ω-regular objectives. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (SNR, 2019)

Omega-Regular Objectives in Model-Free Reinforcement Learning. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (TACAS (1), 2019)

Improving the complexity of Parys' recursive algorithm. - Karoliina Lehtinen; Sven Schewe; Dominik Wojtczak (CoRR, 2019)

Open Problems in a Logic of Gossips. - Krzysztof R. Apt; Dominik Wojtczak (TARK, 2019)

Good-for-MDPs Automata. - Ernst Moritz Hahn; Mateo Perez; Fabio Somenzi; Ashutosh Trivedi 001; Sven Schewe; Dominik Wojtczak (CoRR, 2019)

An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space. - John Fearnley; Sanjay Jain 001; Bart de Keijzer; Sven Schewe; Frank Stephan 001; Dominik Wojtczak (Int. J. Softw. Tools Technol. Transf., 2019)

Recursive stochastic games with positive rewards. - Kousha Etessami; Dominik Wojtczak; Mihalis Yannakakis (Theor. Comput. Sci., 2019)

Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (ATVA, 2020)

Model-Free Reinforcement Learning for Stochastic Parity Games. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (CONCUR, 2020)

How to Play in Infinite MDPs (Invited Talk). - Stefan Kiefer; Richard Mayr; Mahsa Shirmohammadi; Patrick Totzke; Dominik Wojtczak (ICALP, 2020)

Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (TACAS (1), 2020)

Reward Shaping for Reinforcement Learning with Omega-Regular Objectives. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (CoRR, 2020)

Model-Free Reinforcement Learning for Branching Markov Decision Processes. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (CAV (2), 2021)

Leveraging Neural Networks in Malaria Control. - Joseph Livesey; Dominik Wojtczak (CIBCB, 2021)

Predicting Influenza A Viral Host Using PSSM and Word Embeddings. - Yanhua Xu 001; Dominik Wojtczak (CIBCB, 2021)

Propositional Gossip Protocols. - Joseph Livesey; Dominik Wojtczak (FCT, 2021)

Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (FM, 2021)

Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. - Richard Mayr; Sven Schewe; Patrick Totzke; Dominik Wojtczak (FoSSaCS, 2021)

Minimal Number of Calls in Propositional Protocols. - Joseph Livesey; Dominik Wojtczak (RP, 2021)

Mungojerrie: Reinforcement Learning of Linear-Time Objectives. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (CoRR, 2021)

Model-free Reinforcement Learning for Branching Markov Decision Processes (Artifact Evaluation for CAV 2021). - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (Zenodo, 2021)

An Impossibility Result in Automata-Theoretic Reinforcement Learning. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (ATVA, 2022)

Alternating Good-for-MDPs Automata. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (ATVA, 2022)

Reinforcement Learning with Guarantees that Hold for Ever. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (FMICS, 2022)

End-to-End Multi-channel Neural Networks for Predicting Influenza a Virus Hosts and Antigenic Types. - Yanhua Xu 001; Dominik Wojtczak (KDIR, 2022)

Hidden 1-Counter Markov Models and How to Learn Them. - Mehmet Kurucan; Mete Özbaltan; Sven Schewe; Dominik Wojtczak (IJCAI, 2022)

Propositional Gossip Protocols under Fair Schedulers. - Joseph Livesey; Dominik Wojtczak (IJCAI, 2022)

Recursive Reinforcement Learning. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (NeurIPS, 2022)

Facility Reallocation on the Line. - Bart de Keijzer; Dominik Wojtczak (Algorithmica, 2022)

Dive into machine learning algorithms for influenza virus host prediction with hemagglutinin sequences. - Yanhua Xu 001; Dominik Wojtczak (Biosyst., 2022)

Alternating Good-for-MDP Automata. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (CoRR, 2022)

Multi-channel neural networks for predicting influenza A virus hosts and antigenic types. - Yanhua Xu 001; Dominik Wojtczak (CoRR, 2022)

A Recursive Approach to Solving Parity Games in Quasipolynomial Time. - Karoliina Lehtinen; Pawel Parys; Sven Schewe; Dominik Wojtczak (Log. Methods Comput. Sci., 2022)

Coordination Games on Weighted Directed Graphs. - Krzysztof R. Apt; Sunil Simon; Dominik Wojtczak (Math. Oper. Res., 2022)

Omega-Regular Reward Machines. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (ECAI, 2023)

Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (TACAS (1), 2023)

Multi-objective ω-Regular Reinforcement Learning. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (Formal Aspects Comput., 2023)

MC-NN: An End-to-End Multi-Channel Neural Network Approach for Predicting Influenza A Virus Hosts and Antigenic Types. - Yanhua Xu 001; Dominik Wojtczak (SN Comput. Sci., 2023)

Omega-Regular Decision Processes. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (AAAI, 2024)

Multi-Agent Reinforcement Learning for Alternating-Time Logic. - Ernst Moritz Hahn; Mateo Perez; Sven Schewe; Fabio Somenzi; Ashutosh Trivedi 001; Dominik Wojtczak (ECAI, 2024)

A Survey for Deep Reinforcement Learning Based Network Intrusion Detection. - Wanrong Yang; Alberto Acuto 001; Yihang Zhou; Dominik Wojtczak (CoRR, 2024)

Correction: MC-NN: An End-to-End Multi-Channel Neural Network Approach for Predicting Influenza A Virus Hosts and Antigenic Types. - Yanhua Xu 001; Dominik Wojtczak (SN Comput. Sci., 2024)

Abstract Attack Intention Inference Using Low-Rank Gated Arithmetic Interactive Attention. - Wanrong Yang; Manhui Wang; Dominik Wojtczak (CSR, 2025)

Reducing Honest Re-Encryption Attack to Chosen Ciphertext Attack. - Haotian Yin; Jie Zhang 030; Wanxin Li; Yuji Dong; Eng Gee Lim; Dominik Wojtczak (IACR Cryptol. ePrint Arch., 2025)

USpt: Updatable Signature with Public Tokens. - Haotian Yin; Jie Zhang 030; Wanxin Li; Yuji Dong; Eng Gee Lim; Dominik Wojtczak (IACR Cryptol. ePrint Arch., 2025)

Full-Authority Data Sharing Systems: Ciphertext-Dependent Proxy Re-Encryption with Dynamic Key Generation. - Haotian Yin; Jie Zhang 030; Wanxin Li; Yuji Dong; Eng Gee Lim; Dominik Wojtczak (IACR Cryptol. ePrint Arch., 2025)

Collusion-Safe Proxy Re-Encryption. - Haotian Yin; Jie Zhang 030; Wanxin Li; Yuji Dong; Eng Gee Lim; Dominik Wojtczak (IACR Cryptol. ePrint Arch., 2025)

Updatable Signature with public tokens. - Haotian Yin; Jie Zhang 030; Wanxin Li; Yuji Dong; Eng Gee Lim; Dominik Wojtczak (J. Inf. Secur. Appl., 2025)

Priority Promotion with Parysian flair. - Massimo Benerecetti; Daniele Dell'Erba; Fabio Mogavero; Sven Schewe; Dominik Wojtczak (J. Comput. Syst. Sci., 2025)