Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 30.


Ozbaltan, Mete
(2020) Achieving Power Efficiency in Hardware Circuits with Symbolic Discrete Control. PhD thesis, University of Liverpool.


Apt, Krzysztof and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2017) Common Knowledge in a Logic of Gossips. .


Simon, Sunil, Wojtczak, Dominik ORCID: 0000-0001-5560-0546 and AAAI,
(2017) Constrained Pure Nash Equilibria in Polymatrix Games. .


Apt, Krzysztof R, Simon, Sunil and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2015) Coordination Games on Directed Graphs. .


Apt, Krzysztof and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2017) Decidability of Fair Termination of Gossip Protocols. .


de Keijzer, Bart and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2018) Facility Reallocation on the Line. In: Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}, 2018-07-13 - 2018-07-19.


Hahn, Ernst Moritz, Perez, Mateo, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2020) Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. .


Hahn, Ernst Moritz ORCID: 0000-0002-9348-7684, Perez, Mateo ORCID: 0000-0003-4220-3212, Schewe, Sven, Somenzi, Fabio ORCID: 0000-0002-2085-2003, Trivedi, Ashutosh ORCID: 0000-0001-9346-0126 and Wojtczak, Dominik
(2020) Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning. .


Kiefer, Stefan, Mayr, Richard, Shirmohammadi, Mahsa, Totzke, Patrick ORCID: 0000-0001-5274-8190 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2020) How to Play in Infinite MDPs (Invited Talk). .


Lehtinen, Karoliina, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik
Improving the complexity of Parys' recursive algorithm. [Internet Publication]


Mayr, Richard, Schewe, Sven ORCID: 0000-0002-9093-9518, Totzke, Patrick ORCID: 0000-0001-5274-8190 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2017) MDPs with energy-parity objectives. In: LICS, 2018-06-20 - 2018-06-23, Reykjavik, Iceland.


Gupta, Anshul, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
Making the Best of Limited Memory in Multi-Player Discounted Sum Games. .


Hahn, Ernst Moritz, Perez, Mateo, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2019) Omega-Regular Objectives in Model-Free Reinforcement Learning. .


Apt, Krzysztof R and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2016) On Decidability of a Logic of Gossips. .


Das, Ankush, Krishna, Shankara Narayanan, Manasa, Lakshmi, Trivedi, Ashutosh and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2015) On Pure Nash Equilibria in Stochastic Games. .


Kiefer, Stefan, Mayr, Richard, Shirmohammadi, Mahsa and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2017) On Strong Determinacy of Countable Stochastic Games. In: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017-06-20 - 2017-06-23, Reykjavik, Iceland.


Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2018) On Strong NP-Completeness of Rational Problems. In: International Computer Science Symposium in Russia.


Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2018) On Strong NP-Completeness of Rational Problems. .


Apt, Krzysztof R, Kopczyński, Eryk and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2017) On the Computational Complexity of Gossip Protocols. In: Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017-08-19 - 2017-08-26.


Mousa, Mahmoud AA, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
Optimal Control for Multi-Mode Systems with Discrete Costs. .


Mousa, Mahmoud AA, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2017) Optimal Control for Multi-mode Systems with Discrete Costs. .


Mousa, Mahmoud AA, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2016) Optimal Control for Simple Linear Hybrid Systems. .


Mousa, MA
(2018) Optimisation in multi-mode systems. PhD thesis, University of Liverpool.


Fearnley, John, Jain, Sanjay, Schewe, Sven ORCID: 0000-0002-9093-9518, Stephan, Frank and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2017) An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space. .


Fearnley, John, Jain, Sanjay, Schewe, Sven ORCID: 0000-0002-9093-9518, Stephan, Frank and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2017) An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space. CoRR, abs/17.


Fearnley, JS, Jain, Sanjay, De Keijzer, Bart, Schewe, Sven ORCID: 0000-0002-9093-9518, Stephan, Frank and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2019) An Ordered Approach to Solving Parity Games in Quasi-Polynomial Time and Quasi-Linear Space. International Journal on Software Tools for Technology Transfer.


Kiefer, Stefan, Mayr, Richard, Shirmohammadi, Mahsa and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2017) Parity Objectives in Countable MDPs. .


Etessami, Kousha, Wojtczak, Dominik ORCID: 0000-0001-5560-0546 and Yannakakis, Mihalis
(2019) Recursive stochastic games with positive rewards. THEORETICAL COMPUTER SCIENCE, 777. 308 - 328.


Simon, Sunil and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2017) Synchronisation Games on Hypergraphs. In: Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017-08-19 - 2017-08-26.


Apt, Krzysztof and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2018) Verification of Distributed Epistemic Gossip Protocols. Journal of Artificial Intelligence Research, 62. 101 - 133.

This list was generated on Sat Nov 21 21:24:21 2020 GMT.