Photo of Dr Dominik Wojtczak

Dr Dominik Wojtczak

Senior Lecturer Computer Science

    Publications

    2020

    Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning (Conference Paper)

    Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., & Wojtczak, D. (2020). Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning. In Unknown Conference (pp. 306-323). Springer International Publishing. doi:10.1007/978-3-030-45190-5_17

    DOI: 10.1007/978-3-030-45190-5_17

    2019

    Open Problems in a Logic of Gossips (Journal article)

    Apt, K. R., & Wojtczak, D. (n.d.). Open Problems in a Logic of Gossips. Electronic Proceedings in Theoretical Computer Science, 297, 1-18. doi:10.4204/eptcs.297.1

    DOI: 10.4204/eptcs.297.1

    Recursive stochastic games with positive rewards (Journal article)

    Etessami, K., Wojtczak, D., & Yannakakis, M. (2019). Recursive stochastic games with positive rewards. THEORETICAL COMPUTER SCIENCE, 777, 308-328. doi:10.1016/j.tcs.2018.12.018

    DOI: 10.1016/j.tcs.2018.12.018

    Limit Reachability for Model-Free Reinforcement Learning of omega-Regular Objectives (Conference Paper)

    Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., & Wojtczak, D. (2019). Limit Reachability for Model-Free Reinforcement Learning of omega-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

    Omega-Regular Objectives in Model-Free Reinforcement Learning (Conference Paper)

    Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., & Wojtczak, D. (2019). Omega-Regular Objectives in Model-Free Reinforcement Learning. In Unknown Conference (pp. 395-412). Springer International Publishing. doi:10.1007/978-3-030-17462-0_27

    DOI: 10.1007/978-3-030-17462-0_27

    An Ordered Approach to Solving Parity Games in Quasi-Polynomial Time and Quasi-Linear Space (Journal article)

    Fearnley, J. S., Jain, S., De Keijzer, B., Schewe, S., Stephan, F., & Wojtczak, D. K. (n.d.). An Ordered Approach to Solving Parity Games in Quasi-Polynomial Time and Quasi-Linear Space. International Journal on Software Tools for Technology Transfer.

    2018

    Facility Reallocation on the Line (Conference Paper)

    de Keijzer, B., & Wojtczak, D. (2018). Facility Reallocation on the Line. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/ijcai.2018/26

    DOI: 10.24963/ijcai.2018/26

    On Strong NP-Completeness of Rational Problems (Conference Paper)

    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

    Verification of Distributed Epistemic Gossip Protocols (Journal article)

    Apt, K., & Wojtczak, D. (2018). Verification of Distributed Epistemic Gossip Protocols. Journal of Artificial Intelligence Research, 62, 101-133. doi:10.1613/jair.1.11204

    DOI: 10.1613/jair.1.11204

    2017

    Constrained Pure Nash Equilibria in Polymatrix Games (Conference Paper)

    Wojtczak, D. K., & Simon, S. (n.d.). Constrained Pure Nash Equilibria in Polymatrix Games. In EUMAS 2017.

    Synchronisation Games on Hypergraphs (Conference Paper)

    Wojtczak, D. K., & Simon, S. (2017). Synchronisation Games on Hypergraphs. In EUMAS 2017.

    MDPs with energy-parity objectives (Conference Paper)

    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

    Parity Objectives in Countable MDPs (Conference Paper)

    Kiefer, S., Mayr, R., Shirmohammadi, M., & Wojtczak, D. (2017). Parity Objectives in Countable MDPs. In 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). ACM. doi:10.1109/LICS.2017.8005100

    DOI: 10.1109/LICS.2017.8005100

    Optimal Control for Multi-mode Systems with Discrete Costs (Conference Paper)

    Mousa, M. A. A., Schewe, S., & Wojtczak, D. (2017). Optimal Control for Multi-mode Systems with Discrete Costs. In Unknown Conference (pp. 77-96). Springer International Publishing. doi:10.1007/978-3-319-65765-3_5

    DOI: 10.1007/978-3-319-65765-3_5

    An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space (Conference Paper)

    Fearnley, J., Jain, S., Schewe, S., Stephan, F., & Wojtczak, D. (2017). An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space. In SPIN'17: PROCEEDINGS OF THE 24TH ACM SIGSOFT INTERNATIONAL SPIN SYMPOSIUM ON MODEL CHECKING OF SOFTWARE (pp. 112-121). doi:10.1145/3092282.3092286

    DOI: 10.1145/3092282.3092286

    Common Knowledge in a Logic of Gossips (Journal article)

    Apt, K. R., & Wojtczak, D. (n.d.). Common Knowledge in a Logic of Gossips. Electronic Proceedings in Theoretical Computer Science, 251, 10-27. doi:10.4204/eptcs.251.2

    DOI: 10.4204/eptcs.251.2

    On Strong Determinacy of Countable Stochastic Games (Conference Paper)

    Kiefer, S., Mayr, R., Shirmohammadi, M., & Wojtczak, D. (2017). On Strong Determinacy of Countable Stochastic Games. In 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (pp. 1-12). Reykjavik, Iceland: IEEE. doi:10.1109/LICS.2017.8005134

    DOI: 10.1109/LICS.2017.8005134

    Optimal Control for Multi-Mode Systems with Discrete Costs (Conference Paper)

    Mousa, M. A. A., Schewe, S., & Wojtczak, D. (n.d.). Optimal Control for Multi-Mode Systems with Discrete Costs. Retrieved from http://arxiv.org/abs/1706.09886v1

    An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space. (Journal article)

    Fearnley, J., Jain, S., Schewe, S., Stephan, F., & Wojtczak, D. (2017). An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space.. CoRR, abs/1703.01296.

    Constrained Pure Nash Equilibria in Polymatrix Games (Conference Paper)

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

    Common Knowledge in a Logic of Gossips (Conference Paper)

    Apt, K., & Wojtczak, D. (2017). Common Knowledge in a Logic of Gossips. In Proc. of TARK (pp. (to appear)). LIPIcs.

    Decidability of Fair Termination of Gossip Protocols (Conference Paper)

    Apt, K., & Wojtczak, D. (2017). Decidability of Fair Termination of Gossip Protocols. In Proc. of LPAR (pp. (to appear)). Kalpa Publications.

    On the Computational Complexity of Gossip Protocols (Conference Paper)

    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. International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/ijcai.2017/106

    DOI: 10.24963/ijcai.2017/106

    Synchronisation Games on Hypergraphs (Conference Paper)

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

    DOI: 10.24963/ijcai.2017/57

    2016

    Optimal Control for Simple Linear Hybrid Systems (Conference Paper)

    Mousa, M. A. A., Schewe, S., & Wojtczak, D. (2016). Optimal Control for Simple Linear Hybrid Systems. In PROCEEDINGS 23RD INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING - TIME 2016 (pp. 12-20). doi:10.1109/TIME.2016.9

    DOI: 10.1109/TIME.2016.9

    Efficient Local Search in Coordination Games on Graphs (Conference Paper)

    Simon, S., & Wojtczak, D. K. (2016). Efficient Local Search in Coordination Games on Graphs. In 25th International Joint Conference on Artificial Intelligence IJCAI-16.

    On Decidability of a Logic of Gossips (Conference Paper)

    Apt, K. R., & Wojtczak, D. (2016). On Decidability of a Logic of Gossips. In LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016) Vol. 10021 (pp. 18-33). doi:10.1007/978-3-319-48758-8_2

    DOI: 10.1007/978-3-319-48758-8_2

    2015

    Coordination Games on Directed Graphs (Conference Paper)

    Apt, K. R., Simon, S., & Wojtczak, D. (n.d.). Coordination Games on Directed Graphs. In EPTCS 215, 2016, pp. 67-80. doi:10.4204/EPTCS.215.6

    DOI: 10.4204/EPTCS.215.6

    Making the Best of Limited Memory in Multi-Player Discounted Sum Games (Conference Paper)

    Gupta, A., Schewe, S., & Wojtczak, D. (n.d.). Making the Best of Limited Memory in Multi-Player Discounted Sum Games. In EPTCS 193, 2015, pp. 16-30. doi:10.4204/EPTCS.193.2

    DOI: 10.4204/EPTCS.193.2

    On Pure Nash Equilibria in Stochastic Games (Conference Paper)

    Das, A., Krishna, S. N., Manasa, L., Trivedi, A., & Wojtczak, D. (2015). On Pure Nash Equilibria in Stochastic Games. In THEORY AND APPLICATIONS OF MODELS OF COMPUTATION (TAMC 2015) Vol. 9076 (pp. 359-371). doi:10.1007/978-3-319-17142-5_31

    DOI: 10.1007/978-3-319-17142-5_31

    2014

    Automated Analysis of Probabilistic Infinite-state Systems (Conference Paper)

    Wojtczak, D. K. (2014). Automated Analysis of Probabilistic Infinite-state Systems. In EPTCS Vol. 140 (pp. 85-86).

    2013

    Expected Termination Time in BPA Games (Conference Paper)

    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

    Multi-objective Discounted Reward Verification in Graphs and MDPs (Conference Paper)

    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

    Optimal Control for Linear-Rate Multi-mode Systems (Conference Paper)

    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

    2012

    Minimizing Expected Termination Time in One-Counter Markov Decision Processes (Conference Paper)

    Brázdil, T., Kučera, A., Novotný, P., & Wojtczak, D. (n.d.). Minimizing Expected Termination Time in One-Counter Markov Decision Processes. Retrieved from http://arxiv.org/abs/1205.1473v1

    Minimizing Expected Termination Time in One-Counter Markov Decision Processes (Chapter)

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

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

    Optimal Scheduling for Constant-Rate Multi-Mode Systems (Conference Paper)

    Alur, R., Trivedi, A., Wojtczak, D., & ACM. (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 http://gateway.webofknowledge.com/

    2011

    On Probabilistic Parallel Programs with Process Creation and Synchronisation (Conference Paper)

    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 http://gateway.webofknowledge.com/

    THE COMPLEXITY OF NASH EQUILIBRIA IN STOCHASTIC MULTIPLAYER GAMES (Journal article)

    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

    The Complexity of Nash Equilibria in Limit-Average Games (Conference Paper)

    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 http://gateway.webofknowledge.com/

    Trust Metrics for the SPKI/SDSI Authorisation Framework (Conference Paper)

    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

    Trust Metrics for the SPKI/SDSI Authorisation Framework (Conference Paper)

    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 http://gateway.webofknowledge.com/

    2010

    Timed Branching Processes (Conference Paper)

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

    DOI: 10.1109/qest.2010.36

    One-Counter Markov Decision Processes (Conference Paper)

    Brazdil, T., Brozek, V., Etessami, K., Kucera, A., Wojtczak, D., & SIAM, A. C. M. (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 http://gateway.webofknowledge.com/

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

    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

    Recursive Timed Automata (Conference Paper)

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

    2009

    The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games (Conference Paper)

    Ummels, M., & Wojtczak, D. (n.d.). The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games. doi:10.1007/978-3-642-02930-1_25

    DOI: 10.1007/978-3-642-02930-1_25

    Decision Problems for Nash Equilibria in Stochastic Games (Conference Paper)

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

    2008

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

    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. IEEE. doi:10.1109/qest.2008.35

    DOI: 10.1109/qest.2008.35

    Recursive stochastic games with positive rewards (Conference Paper)

    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 http://gateway.webofknowledge.com/

    2007

    PReMo: An analyzer for probabilistic recursive models (Conference Paper)

    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 http://gateway.webofknowledge.com/