Skip to main content
What types of page to search?

Alternatively use our A-Z index.

Publications

Selected publications

  1. An Ordered Approach to Solving Parity Games in Quasi-Polynomial Time and Quasi-Linear Space (Journal article - 2019)
  2. Omega-Regular Objectives in Model-Free Reinforcement Learning (Conference Paper - 2019)
  3. Facility Reallocation on the Line (Conference Paper - 2021)
  4. Verification of Distributed Epistemic Gossip Protocols (Journal article - 2018)
What type of publication do you want to show?

2024

Multi-Agent Reinforcement Learning for Alternating-Time Logic

Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., & Wojtczak, D. (2024). Multi-Agent Reinforcement Learning for Alternating-Time Logic. In Frontiers in Artificial Intelligence and Applications. IOS Press. doi:10.3233/faia240676

DOI
10.3233/faia240676
Chapter

Correction: MC-NN: An End-to-End Multi-Channel Neural Network Approach for Predicting Influenza A Virus Hosts and Antigenic Types

Xu, Y., & Wojtczak, D. (n.d.). Correction: MC-NN: An End-to-End Multi-Channel Neural Network Approach for Predicting Influenza A Virus Hosts and Antigenic Types. SN Computer Science, 5(4). doi:10.1007/s42979-024-02802-8

DOI
10.1007/s42979-024-02802-8
Journal article

Omega-Regular Decision Processes

Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., & Wojtczak, D. (n.d.). Omega-Regular Decision Processes. In Proceedings of the AAAI Conference on Artificial Intelligence Vol. 38 (pp. 21125-21133). Association for the Advancement of Artificial Intelligence (AAAI). doi:10.1609/aaai.v38i19.30105

DOI
10.1609/aaai.v38i19.30105
Conference Paper

2023

Omega-Regular Reward Machines

Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., & Wojtczak, D. (2023). Omega-Regular Reward Machines. In Frontiers in Artificial Intelligence and Applications. IOS Press. doi:10.3233/faia230368

DOI
10.3233/faia230368
Chapter

2022

Facility Reallocation on the Line

de Keijzer, B., & Wojtczak, D. (2018). Facility Reallocation on the Line. In PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (pp. 188-194). Retrieved from https://www.webofscience.com/

Conference Paper

Alternating Good-for-MDPs Automata

Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., & Wojtczak, D. (2022). Alternating Good-for-MDPs Automata. In Lecture Notes in Computer Science (pp. 303-319). Springer International Publishing. doi:10.1007/978-3-031-19992-9_19

DOI
10.1007/978-3-031-19992-9_19
Chapter

Hidden 1-Counter Markov Models and How to Learn Them

Kurucan, M., Özbaltan, M., Schewe, S., & Wojtczak, D. (2022). Hidden 1-Counter Markov Models and How to Learn Them. In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (pp. 4857-4863). International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/ijcai.2022/673

DOI
10.24963/ijcai.2022/673
Conference Paper

Propositional Gossip Protocols under Fair Schedulers

Livesey, J., & Wojtczak, D. (2022). Propositional Gossip Protocols under Fair Schedulers. In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (pp. 391-397). International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/ijcai.2022/56

DOI
10.24963/ijcai.2022/56
Conference Paper

Recursive Reinforcement Learning

Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., & Wojtczak, D. (2022). Recursive Reinforcement Learning. In Advances in Neural Information Processing Systems Vol. 35.

Conference Paper

2021

Minimal Number of Calls in Propositional Protocols

Livesey, J., & Wojtczak, D. (2021). Minimal Number of Calls in Propositional Protocols. In P. C. Bell, P. Totzke, & I. Potapov (Eds.), Reachability Problems - 15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021, Proceedings Vol. 13035 (pp. 132-148). Springer. doi:10.1007/978-3-030-89716-1_9

DOI
10.1007/978-3-030-89716-1_9
Conference Paper

Facility Reallocation on the Line

Keijzer, B. D., & Wojtczak, D. (2021). Facility Reallocation on the Line. Retrieved from http://arxiv.org/abs/2103.12894v1

Conference Paper

Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives

Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., & Wojtczak, D. (2021). Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. In Unknown Book (Vol. 13047, pp. 142-159). doi:10.1007/978-3-030-90870-6_8

DOI
10.1007/978-3-030-90870-6_8
Chapter

2020

How to Play in Infinite MDPs (Invited Talk)

Kiefer, S., Mayr, R., Shirmohammadi, M., Totzke, P., & Wojtczak, D. (2020). How to Play in Infinite MDPs (Invited Talk). In A. Czumaj, A. Dawar, & E. Merelli (Eds.), 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020) Vol. 168 (pp. 3:1-3:18). Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum für Informatik. doi:10.4230/LIPIcs.ICALP.2020.3

DOI
10.4230/LIPIcs.ICALP.2020.3
Conference Paper

2019

An Ordered Approach to Solving Parity Games in Quasi-Polynomial Time and Quasi-Linear Space

Fearnley, J. S., Jain, S., De Keijzer, B., Schewe, S., Stephan, F., & Wojtczak, D. K. (2019). An Ordered Approach to Solving Parity Games in Quasi-Polynomial Time and Quasi-Linear Space. International Journal on Software Tools for Technology Transfer, 21(3), 325-349. doi:10.1007/s10009-019-00509-3

DOI
10.1007/s10009-019-00509-3
Journal article

Limit Reachability for Model-Free Reinforcement Learning of ω-Regular Objectives

Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., & Wojtczak, D. (2019). Limit Reachability for Model-Free Reinforcement Learning of ω-Regular Objectives. In PROCEEDINGS OF THE 5TH INTERNATIONAL WORKSHOP ON SYMBOLIC-NUMERIC METHODS FOR REASONING ABOUT CPS AND IOT (SNR 2019) (pp. 16-18). doi:10.1145/3313149.3313369

DOI
10.1145/3313149.3313369
Conference Paper

Omega-Regular Objectives in Model-Free Reinforcement Learning

Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., & Wojtczak, D. K. (2019). Omega-Regular Objectives in Model-Free Reinforcement Learning. In Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019. Lecture Notes in Computer Science Vol. 11427 (pp. 395-412). Prague, Czech Republic. doi:10.1007/978-3-030-17462-0_27

DOI
10.1007/978-3-030-17462-0_27
Conference Paper

2018

On Strong NP-Completeness of Rational Problems

Wojtczak, D. (2018). On Strong NP-Completeness of Rational Problems. In COMPUTER SCIENCE - THEORY AND APPLICATIONS, CSR 2018 Vol. 10846 (pp. 308-320). doi:10.1007/978-3-319-90530-3_26

DOI
10.1007/978-3-319-90530-3_26
Conference Paper

2017

Synchronisation Games on Hypergraphs

Simon, S., & Wojtczak, D. (2017). Synchronisation Games on Hypergraphs. In PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (pp. 402-408). Retrieved from https://www.webofscience.com/

Conference Paper

MDPs with energy-parity objectives

Mayr, R., Schewe, S., Totzke, P., & Wojtczak, D. (2017). MDPs with energy-parity objectives. In 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017 (pp. 1-12). Reykjavik, Iceland. doi:10.1109/LICS.2017.8005131

DOI
10.1109/LICS.2017.8005131
Conference Paper

On the Computational Complexity of Gossip Protocols

Apt, K. R., Kopczynski, E., & Wojtczak, D. (2017). On the Computational Complexity of Gossip Protocols. In PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (pp. 765-771). Retrieved from https://www.webofscience.com/

Conference Paper

On the Computational Complexity of Gossip Protocols

Apt, K. R., Kopczyński, E., & Wojtczak, D. (2017). On the Computational Complexity of Gossip Protocols. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (pp. 765-771). International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/ijcai.2017/106

DOI
10.24963/ijcai.2017/106
Conference Paper

Synchronisation Games on Hypergraphs

Simon, S., & Wojtczak, D. (2017). Synchronisation Games on Hypergraphs. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (pp. 402-408). International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/ijcai.2017/57

DOI
10.24963/ijcai.2017/57
Conference Paper

2016

Constrained Pure Nash Equilibria in Polymatrix Games

Simon, S., & Wojtczak, D. (2017). Constrained Pure Nash Equilibria in Polymatrix Games. In THIRTY-FIRST AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (pp. 691-697). Retrieved from https://www.webofscience.com/

Conference Paper

2015

2014

2013

Multi-objective Discounted Reward Verification in Graphs and MDPs

Chatterjee, K., Forejt, V., & Wojtczak, D. (2013). Multi-objective Discounted Reward Verification in Graphs and MDPs. In Unknown Conference (pp. 228-242). Springer Berlin Heidelberg. doi:10.1007/978-3-642-45221-5_17

DOI
10.1007/978-3-642-45221-5_17
Conference Paper

Expected Termination Time in BPA Games

Wojtczak, D. (2013). Expected Termination Time in BPA Games. In Unknown Conference (pp. 303-318). Springer International Publishing. doi:10.1007/978-3-319-02444-8_22

DOI
10.1007/978-3-319-02444-8_22
Conference Paper

Optimal Control for Linear-Rate Multi-mode Systems

Wojtczak, D. (2013). Optimal Control for Linear-Rate Multi-mode Systems. In Unknown Conference (pp. 258-273). Springer Berlin Heidelberg. doi:10.1007/978-3-642-40229-6_18

DOI
10.1007/978-3-642-40229-6_18
Conference Paper

Optimal Scheduling for Constant-Rate Multi-Mode Systems

Alur, R., Trivedi, A., & Wojtczak, D. (2012). Optimal Scheduling for Constant-Rate Multi-Mode Systems. In HSCC 12: PROCEEDINGS OF THE 15TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (pp. 75-84). Retrieved from https://www.webofscience.com/

Conference Paper

2012

Minimizing Expected Termination Time in One-Counter Markov Decision Processes

Brázdil, T., Kučera, A., Novotný, P., & Wojtczak, D. (2012). Minimizing Expected Termination Time in One-Counter Markov Decision Processes. In Lecture Notes in Computer Science (pp. 141-152). Springer Berlin Heidelberg. doi:10.1007/978-3-642-31585-5_16

DOI
10.1007/978-3-642-31585-5_16
Chapter

Minimizing expected termination time in one-counter markov decision processes

Brázdil, T., Kučera, A., Novotný, P., & Wojtczak, D. (2012). Minimizing expected termination time in one-counter markov decision processes. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 7392 LNCS (pp. 141-152). doi:10.1007/978-3-642-31585-5_16

DOI
10.1007/978-3-642-31585-5_16
Conference Paper

2011

THE COMPLEXITY OF NASH EQUILIBRIA IN STOCHASTIC MULTIPLAYER GAMES

Ummels, M., & Wojtczak, D. (2011). THE COMPLEXITY OF NASH EQUILIBRIA IN STOCHASTIC MULTIPLAYER GAMES. LOGICAL METHODS IN COMPUTER SCIENCE, 7(3). doi:10.2168/LMCS-7(3:20)2011

DOI
10.2168/LMCS-7(3:20)2011
Journal article

Trust Metrics for the SPKI/SDSI Authorisation Framework

Wojtczak, D. (2011). Trust Metrics for the SPKI/SDSI Authorisation Framework. In Unknown Conference (pp. 168-182). Springer Berlin Heidelberg. doi:10.1007/978-3-642-24372-1_13

DOI
10.1007/978-3-642-24372-1_13
Conference Paper

The Complexity of Nash Equilibria in Limit-Average Games

Ummels, M., & Wojtczak, D. (2011). The Complexity of Nash Equilibria in Limit-Average Games. In CONCUR 2011: CONCURRENCY THEORY Vol. 6901 (pp. 482-+). Retrieved from https://www.webofscience.com/

Conference Paper

Trust Metrics for the SPKI/SDSI Authorisation Framework

Wojtczak, D. (2011). Trust Metrics for the SPKI/SDSI Authorisation Framework. In AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS Vol. 6996 (pp. 168-182). Retrieved from https://www.webofscience.com/

Conference Paper

2010

On Probabilistic Parallel Programs with Process Creation and Synchronisation

Kiefer, S., & Wojtczak, D. (2011). On Probabilistic Parallel Programs with Process Creation and Synchronisation. In TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS Vol. 6605 (pp. 296-310). Retrieved from https://www.webofscience.com/

Conference Paper

Timed Branching Processes

Trivedi, A., & Wojtczak, D. (2010). Timed Branching Processes. In 2010 Seventh International Conference on the Quantitative Evaluation of Systems (pp. 219-228). IEEE. doi:10.1109/qest.2010.36

DOI
10.1109/qest.2010.36
Conference Paper

Recursive Timed Automata

Trivedi, A., & Wojtczak, D. (2010). Recursive Timed Automata. In AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS Vol. 6252 (pp. 306-324). Retrieved from https://www.webofscience.com/

Conference Paper

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

Etessami, K., Wojtczak, D., & Yannakakis, M. (2010). Quasi-Birth Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems. PERFORMANCE EVALUATION, 67(9), 837-857. doi:10.1016/j.peva.2009.12.009

DOI
10.1016/j.peva.2009.12.009
Journal article

2009

Decision Problems for Nash Equilibria in Stochastic Games

Ummels, M., & Wojtczak, D. (2009). Decision Problems for Nash Equilibria in Stochastic Games. In COMPUTER SCIENCE LOGIC, PROCEEDINGS Vol. 5771 (pp. 515-+). Retrieved from https://www.webofscience.com/

Conference Paper

One-Counter Markov Decision Processes

Brazdil, T., Brozek, V., Etessami, K., Kucera, A., & Wojtczak, D. (2010). One-Counter Markov Decision Processes. In PROCEEDINGS OF THE TWENTY-FIRST ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS Vol. 135 (pp. 863-+). Retrieved from https://www.webofscience.com/

Conference Paper

2008

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

Etessami, K., Wojtczak, D., & Yannakakis, M. (2008). Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems. In 2008 Fifth International Conference on Quantitative Evaluation of Systems (pp. 243-253). IEEE. doi:10.1109/qest.2008.35

DOI
10.1109/qest.2008.35
Conference Paper

Recursive stochastic games with positive rewards

Etessami, K., Wojtczak, D., & Yannakakis, M. (2008). Recursive stochastic games with positive rewards. In AUTOMATA, LANGUAGES AND PROGRAMMING, PT 1, PROCEEDINGS Vol. 5125 (pp. 711-+). Retrieved from https://www.webofscience.com/

Conference Paper

2007

PReMo: An analyzer for probabilistic recursive models

Wojtczak, D., & Etessami, K. (2007). PReMo: An analyzer for probabilistic recursive models. In TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS Vol. 4424 (pp. 66-+). Retrieved from https://www.webofscience.com/

Conference Paper