Browse by People


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


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. .


Apt, Krzysztof R and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2017) Common Knowledge in a Logic of Gossips. Electronic Proceedings in Theoretical Computer Science, 251. 10 - 27.


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
(2016) Coordination Games on Directed Graphs. .


Apt, Krzysztof R, Simon, Sunil and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2021) Coordination Games on Weighted Directed Graphs. Mathematics of Operations Research.


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


Keijzer, Bart de and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2021) Facility Reallocation on the Line. .


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. .


Kurucan, Mehmet
(2020) Hidden Probabilistic One-Counter Automata. PhD thesis, University of Liverpool.


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
(2019) Improving the complexity of Parys' recursive algorithm. [Internet Publication]


Livesey, Joseph and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2021) Leveraging Neural Networks in Malaria Control. In: 2021 IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB), 2021-10-13 - 2021-10-15.


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
(2014) Making the Best of Limited Memory in Multi-Player Discounted Sum Games. .


Livesey, Joseph and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2021) Minimal Number of Calls in Propositional Protocols. .


Hahn, Ernst-Moritz, Perez, Mateo, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2021) Model-Free Reinforcement Learning for Branching Markov Decision Processes. In: International Conference on Computer Aided Verification.


Hahn, Ernst Moritz, Perez, Mateo, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2021) Model-Free Reinforcement Learning for Branching Markov Decision Processes. COMPUTER AIDED VERIFICATION, PT II, CAV 2021, 12760. 651 - 673.


Hahn, Ernst-Moritz, Perez, Mateo, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2021) Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. In: International Symposium on Formal Methods.


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. .


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


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.


Apt, Krzysztof R and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2019) Open Problems in a Logic of Gossips. Electronic Proceedings in Theoretical Computer Science, 297. 1 - 18.


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
(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. .


Xu, Yanhua ORCID: 0000-0003-1028-9023 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2022) Predicting Influenza A Viral Host Using PSSM and Word Embeddings. .


Benerecetti, Massimo, Dell'Erba, Daniele ORCID: 0000-0003-1196-6110, Mogavero, Fabio, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik
(2021) Priority Promotion with Parysian Flair. [Preprint]


Livesey, Joseph and Wojtczak, Dominik
(2021) Propositional Gossip Protocols. .


Livesey, Joseph and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2022) Propositional Gossip Protocols under Fair Schedulers. In: IJCAI 2022.


Lehtinen, Karoliina, Parys, Paweł, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2022) A Recursive Approach to Solving Parity Games in Quasipolynomial Time. Logical Methods in Computer Science, Volume.


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.


Faraggi, Alon E ORCID: 0000-0001-7123-6414, Percival, Benjamin, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2021) Satisfiability modulo theories and chiral heterotic string vacua with positive cosmological constant. PHYSICS LETTERS B, 816.


Totzke, Patrick ORCID: 0000-0001-5274-8190, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2021) Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. In: Foundations of Software Science and Computation Structures, 2021-03-27 - 2021-04-01, Luxembourg.


Mayr, Richard, Schewe, Sven ORCID: 0000-0002-9093-9518, Totzke, Patrick ORCID: 0000-0001-5274-8190 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2021) Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2021, 12650. 427 - 447.


Simon, Sunil and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2017) Synchronisation Games on Hypergraphs. .


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 Jul 30 03:25:48 2022 BST.