Dominik Wojtczak

发表

MDPs with energy-parity objectives

Sven Schewe, Richard Mayr, Patrick Totzke, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Minimizing Expected Termination Time in One-Counter Markov Decision Processes pdf

Petr Novotný, Tomás Brázdil, Antonín Kucera, 2012, ICALP.

Facility Reallocation on the Line

Dominik Wojtczak, Bart de Keijzer, D. Wojtczak, 2018, Algorithmica.

An ordered approach to solving parity games in quasi polynomial time and quasi linear space

Sanjay Jain, Sven Schewe, John Fearnley, 2017, SPIN.

On Strong NP-Completeness of Rational Problems pdf

Dominik Wojtczak, 2018, CSR.

Making the Best of Limited Memory in Multi-Player Discounted Sum Games

Sven Schewe, Dominik Wojtczak, Anshul Gupta, 2014, GandALF.

Reward Shaping for Reinforcement Learning with Omega-Regular Objectives pdf

Sven Schewe, Fabio Somenzi, Dominik Wojtczak, 2020, ArXiv.

Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning

Sven Schewe, Fabio Somenzi, Dominik Wojtczak, 2020, TACAS.

Open Problems in a Logic of Gossips pdf

Krzysztof R. Apt, Dominik Wojtczak, K. Apt, 2019, TARK.

The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games pdf

Dominik Wojtczak, Michael Ummels, D. Wojtczak, 2009, ICALP.

Decidability of Fair Termination of Gossip Protocols

Krzysztof R. Apt, Dominik Wojtczak, 2017, IWIL@LPAR.

Automated Analysis of Probabilistic Infinite-state Systems: Invited Tutorial at the 15th International Workshop on Verification of Infinite-State Systems

Dominik Wojtczak, D. Wojtczak, 2014 .

Optimal Control for Multi-Mode Systems with Discrete Costs pdf

Sven Schewe, Dominik Wojtczak, Mahmoud A. A. Mousa, 2017, FORMATS.

Optimal scheduling for constant-rate multi-mode systems

Rajeev Alur, Ashutosh Trivedi, Dominik Wojtczak, 2012, HSCC '12.

On Pure Nash Equilibria in Stochastic Games

Ashutosh Trivedi, Dominik Wojtczak, Shankara Narayanan Krishna, 2015, TAMC.

Synchronisation Games on Hypergraphs

Dominik Wojtczak, Sunil Simon, 2017, IJCAI.

Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms (SODA '10)

Kousha Etessami, Dominik Wojtczak, Antonín Kučera, 2010 .

Optimal Scheduling for Linear-Rate Multi-Mode Systems pdf

Dominik Wojtczak, D. Wojtczak, 2013, ArXiv.

Decision Problems for Nash Equilibria in Stochastic Games

Dominik Wojtczak, Michael Ummels, D. Wojtczak, 2009, CSL.

How to Play in Infinite MDPs (Invited Talk)

Stefan Kiefer, Richard Mayr, Patrick Totzke, 2020, ICALP.

Improving the complexity of Parys' recursive algorithm pdf

Sven Schewe, Dominik Wojtczak, Karoliina Lehtinen, 2019, ArXiv.

Recursive stochastic games with positive rewards

Kousha Etessami, Mihalis Yannakakis, Dominik Wojtczak, 2019, Theor. Comput. Sci..

The Complexity of Nash Equilibria in Limit-Average Games pdf

Dominik Wojtczak, Michael Ummels, D. Wojtczak, 2011, CONCUR.

Verification of Distributed Epistemic Gossip Protocols

Krzysztof R. Apt, Dominik Wojtczak, K. Apt, 2018, J. Artif. Intell. Res..

On Probabilistic Parallel Programs with Process Creation and Synchronisation pdf

Stefan Kiefer, Dominik Wojtczak, 2011, TACAS.

Recursive Stochastic Games with Positive Rewards

Kousha Etessami, Mihalis Yannakakis, Dominik Wojtczak, 2008, ICALP.

PReMo : An Analyzer for P robabilistic Re cursive Mo dels

Kousha Etessami, Dominik Wojtczak, 2007, TACAS.

Trust Metrics for the SPKI/SDSI Authorisation Framework

Dominik Wojtczak, D. Wojtczak, 2011, ATVA.

Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives

Sven Schewe, Fabio Somenzi, Dominik Wojtczak, 2020, ATVA.

On the Computational Complexity of Gossip Protocols

Krzysztof R. Apt, Dominik Wojtczak, Eryk Kopczynski, 2017, IJCAI.

Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP pdf

Sven Schewe, Richard Mayr, Patrick Totzke, 2021, FoSSaCS.

Common Knowledge in a Logic of Gossips

Krzysztof R. Apt, Dominik Wojtczak, K. Apt, 2017, TARK.

Optimal Control for Linear-Rate Multi-mode Systems

Dominik Wojtczak, D. Wojtczak, 2013, FORMATS.

On Decidability of a Logic of Gossips

Krzysztof R. Apt, Dominik Wojtczak, 2016, JELIA.

Constrained Pure Nash Equilibria in Polymatrix Games pdf

Dominik Wojtczak, Sunil Simon, D. Wojtczak, 2016, AAAI.

Recursive probabilistic models : efficient analysis and implementation

Dominik Wojtczak, D. Wojtczak, 2009 .

Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems

Kousha Etessami, Mihalis Yannakakis, Dominik Wojtczak, 2008, QEST.

Limit reachability for model-free reinforcement learning of ω-regular objectives

Sven Schewe, Ashutosh Trivedi, Fabio Somenzi, 2019 .

Optimal Control for Simple Linear Hybrid Systems

Sven Schewe, Dominik Wojtczak, Mahmoud A. A. Mousa, 2016, 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).

Omega-Regular Objectives in Model-Free Reinforcement Learning pdf

Sven Schewe, Ashutosh Trivedi, Fabio Somenzi, 2018, TACAS.

The Complexity of Nash Equilibria in Stochastic Multiplayer Games

Dominik Wojtczak, Michael Ummels, D. Wojtczak, 2011, Log. Methods Comput. Sci..

Multi-objective Discounted Reward Verification in Graphs and MDPs

Krishnendu Chatterjee, Dominik Wojtczak, Vojtech Forejt, 2013, LPAR.

Coordination Games on Directed Graphs

Krzysztof R. Apt, Dominik Wojtczak, Sunil Simon, 2015, TARK.

One-counter Markov decision processes

Kousha Etessami, Tomás Brázdil, Antonín Kucera, 2009, SODA '10.

On strong determinacy of countable stochastic games

Stefan Kiefer, Richard Mayr, Dominik Wojtczak, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space

Sanjay Jain, Sven Schewe, John Fearnley, 2017, International Journal on Software Tools for Technology Transfer.

Coordination Games on Weighted Directed Graphs pdf

Krzysztof R. Apt, Dominik Wojtczak, Sunil Simon, 2019, Math. Oper. Res..

Expected Termination Time in BPA Games

Dominik Wojtczak, D. Wojtczak, 2013, ATVA.

Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems

Kousha Etessami, Mihalis Yannakakis, Dominik Wojtczak, 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.

Parity objectives in countable MDPs

Stefan Kiefer, Richard Mayr, Dominik Wojtczak, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Automated Analysis of Probabilistic Infinite-state Systems

Dominik Wojtczak, 2014 .

Model-Free Reinforcement Learning for Stochastic Parity Games

Sven Schewe, Fabio Somenzi, Dominik Wojtczak, 2020, CONCUR.

Good-for-MDPs Automata pdf

Sven Schewe, Fabio Somenzi, Dominik Wojtczak, 2019, ArXiv.

Efficient Local Search in Coordination Games on Graphs pdf

Dominik Wojtczak, Sunil Simon, 2016, IJCAI.

Timed Branching Processes

Ashutosh Trivedi, Dominik Wojtczak, D. Wojtczak, 2010, 2010 Seventh International Conference on the Quantitative Evaluation of Systems.

Recursive Timed Automata

Ashutosh Trivedi, Dominik Wojtczak, 2010, ATVA.

Propositional Gossip Protocols

Dominik Wojtczak, Joseph Livesey, 2021, FCT.

Model-free Reinforcement Learning for Branching Markov Decision Processes (Artifact Evaluation for CAV 2021)

Sven Schewe, Ashutosh Trivedi, Fabio Somenzi, 2021 .

Priority Promotion with Parysian Flair pdf

Sven Schewe, Massimo Benerecetti, Fabio Mogavero, 2021, ArXiv.

Predicting Influenza A Viral Host Using PSSM and Word Embeddings

Dominik Wojtczak, Yanhua Xu, D. Wojtczak, 2021, 2021 IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB).

Minimal Number of Calls in Propositional Protocols

Dominik Wojtczak, Joseph Livesey, 2021, RP.

A Recursive Approach to Solving Parity Games in Quasipolynomial Time pdf

Sven Schewe, Pawel Parys, Dominik Wojtczak, 2021, ArXiv.

Leveraging Neural Networks in Malaria Control

Dominik Wojtczak, Joseph Livesey, 2021, 2021 IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB).

Model-free Reinforcement Learning for Branching Markov Decision Processes

Sven Schewe, Ashutosh Trivedi, Fabio Somenzi, 2021, CAV.

Coordination Games on Weighted Directed Graphs pdf

Krzysztof R. Apt, Dominik Wojtczak, Sunil Simon, 2021, Mathematics of Operations Research.

Mungojerrie: Reinforcement Learning of Linear-Time Objectives pdf

Sven Schewe, Ashutosh Trivedi, Fabio Somenzi, 2021, ArXiv.

Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives

Sven Schewe, Ashutosh Trivedi, Fabio Somenzi, 2021, FM.

Reward Shaping for Reinforcement Learning with Omega-Regular Objectives pdf

Sven Schewe, Ashutosh Trivedi, Fabio Somenzi, 2020, ArXiv.