Dominik Wojtczak
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
48
Venues
22
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
48 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FOSSACS | The Complexity of Games with Randomised Control. | Sarvin Bahmani, Rasmus Ibsen-Jensen, Soumyajit Paul, Sven Schewe, Friedrich Slivovsky, Qiyi Tang, Dominik Wojtczak, Shufang Zhu |
| 2025 | ECAI | Efficient Inference of Sources and Targets in a Graph with Limited Observations. | Wanrong Yang, Dominik Wojtczak |
| 2024 | AAAI | Omega-Regular Decision Processes. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2024 | ECAI | Multi-Agent Reinforcement Learning for Alternating-Time Logic. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2023 | ECAI | Omega-Regular Reward Machines. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2023 | TACAS | Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2022 | ATVA | An Impossibility Result in Automata-Theoretic Reinforcement Learning. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2022 | ATVA | Alternating Good-for-MDPs Automata. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2022 | FMICS | Reinforcement Learning with Guarantees that Hold for Ever. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2022 | IC3K | End-to-End Multi-channel Neural Networks for Predicting Influenza a Virus Hosts and Antigenic Types. | Yanhua Xu, Dominik Wojtczak |
| 2022 | IJCAI | Hidden 1-Counter Markov Models and How to Learn Them. | Mehmet Kurucan, Mete zbaltan, Sven Schewe, Dominik Wojtczak |
| 2022 | IJCAI | Propositional Gossip Protocols under Fair Schedulers. | Joseph Livesey, Dominik Wojtczak |
| 2021 | CAV | Model-Free Reinforcement Learning for Branching Markov Decision Processes. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2021 | CIBCB | Leveraging Neural Networks in Malaria Control. | Joseph Livesey, Dominik Wojtczak |
| 2021 | CIBCB | Predicting Influenza A Viral Host Using PSSM and Word Embeddings. | Yanhua Xu, Dominik Wojtczak |
| 2021 | FCT | Propositional Gossip Protocols. | Joseph Livesey, Dominik Wojtczak |
| 2021 | FM | Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2021 | FOSSACS | Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. | Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak |
| 2020 | ATVA | 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, Dominik Wojtczak |
| 2020 | CONCUR | Model-Free Reinforcement Learning for Stochastic Parity Games. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2020 | ICALP | How to Play in Infinite MDPs (Invited Talk). | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke, Dominik Wojtczak |
| 2020 | TACAS | Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2019 | TACAS | Omega-Regular Objectives in Model-Free Reinforcement Learning. | Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak |
| 2018 | CSR | On Strong NP-Completeness of Rational Problems. | Dominik Wojtczak |
| 2018 | IJCAI | Facility Reallocation on the Line. | Bart de Keijzer, Dominik Wojtczak |
| 2017 | AAAI | Constrained Pure Nash Equilibria in Polymatrix Games. | Sunil Simon, Dominik Wojtczak |
| 2017 | IJCAI | On the Computational Complexity of Gossip Protocols. | Krzysztof R. Apt, Eryk Kopczynski, Dominik Wojtczak |
| 2017 | IJCAI | Synchronisation Games on Hypergraphs. | Sunil Simon, Dominik Wojtczak |
| 2017 | LICS | Parity objectives in countable MDPs. | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak |
| 2017 | LICS | On strong determinacy of countable stochastic games. | Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak |
| 2017 | LICS | MDPs with energy-parity objectives. | Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak |
| 2017 | LPAR | Decidability of Fair Termination of Gossip Protocols. | Krzysztof R. Apt, Dominik Wojtczak |
| 2016 | IJCAI | Efficient Local Search in Coordination Games on Graphs. | Sunil Simon, Dominik Wojtczak |
| 2016 | JELIA | On Decidability of a Logic of Gossips. | Krzysztof R. Apt, Dominik Wojtczak |
| 2016 | TIME | Optimal Control for Simple Linear Hybrid Systems. | Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak |
| 2015 | TAMC | On Pure Nash Equilibria in Stochastic Games. | Ankush Das, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi, Dominik Wojtczak |
| 2013 | ATVA | Expected Termination Time in BPA Games. | Dominik Wojtczak |
| 2013 | LPAR | Multi-objective Discounted Reward Verification in Graphs and MDPs. | Krishnendu Chatterjee, Vojtech Forejt, Dominik Wojtczak |
| 2012 | ICALP | Minimizing Expected Termination Time in One-Counter Markov Decision Processes. | Toms Brzdil, Antonn Kucera, Petr Novotn, Dominik Wojtczak |
| 2011 | ATVA | Trust Metrics for the SPKI/SDSI Authorisation Framework. | Dominik Wojtczak |
| 2011 | CONCUR | The Complexity of Nash Equilibria in Limit-Average Games. | Michael Ummels, Dominik Wojtczak |
| 2011 | TACAS | On Probabilistic Parallel Programs with Process Creation and Synchronisation. | Stefan Kiefer, Dominik Wojtczak |
| 2010 | ATVA | Recursive Timed Automata. | Ashutosh Trivedi, Dominik Wojtczak |
| 2010 | SODA | One-Counter Markov Decision Processes. | Toms Brzdil, Vclav Brozek, Kousha Etessami, Antonn Kucera, Dominik Wojtczak |
| 2009 | CSL | Decision Problems for Nash Equilibria in Stochastic Games. | Michael Ummels, Dominik Wojtczak |
| 2009 | ICALP | The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games. | Michael Ummels, Dominik Wojtczak |
| 2008 | ICALP | Recursive Stochastic Games with Positive Rewards. | Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis |
| 2007 | TACAS | PReMo : An Analyzer for P robabilistic Re cursive Mo dels. | Dominik Wojtczak, Kousha Etessami |