Browse by People


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


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


Hahn, Ernst Moritz, Perez, Mateo, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2022) Alternating Good-for-MDP Automata. [Preprint]


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 (251). pp. 10-27.


Simon, Sunil and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(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. In: Theoretical Aspects of Rationality and Knowledge (TARK).


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


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


Xu, Yanhua ORCID: 0000-0003-1028-9023 and Wojtczak, Dominik
(2022) Dive into Machine Learning Algorithms for Influenza Virus Host Prediction with Hemagglutinin Sequences. [Preprint]


Xu, Yanhua ORCID: 0000-0003-1028-9023 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2022) Dive into machine learning algorithms for influenza virus host prediction with hemagglutinin sequences. Biosystems, 220. p. 104740.


Xu, Yanhua ORCID: 0000-0003-1028-9023 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2022) End-to-End Multi-channel Neural Networks for Predicting Influenza a Virus Hosts and Antigenic Types. In: 14th International Conference on Knowledge Discovery and Information Retrieval, 2022-10-24 - 2022-10-26.


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


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


Keijzer, Bart de and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2021) Facility Reallocation on the Line. In: Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}, 2018-7-13 - 2018-7-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. In: ATVA, 2020-10-19 - 2020-10-23.


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


Kurucan, Mehmet, Özbaltan, Mete, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2022) Hidden 1-Counter Markov Models and How to Learn Them. In: Thirty-First International Joint Conference on Artificial Intelligence {IJCAI-22}, 2022-7-23 - 2022-7-29, Vienna, Austria.


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


Hahn, Ernst Moritz, Trivedi, Ashutosh, Perez, Mateo, Somenzi, Fabio, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2022) An Impossibility Result in Automata-Theoretic Reinforcement Learning. In: ATVA22.


Lehtinen, Karoliina ORCID: 0000-0003-1171-8790, 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.


Xu, Yanhua ORCID: 0000-0003-1028-9023 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2023) MC-NN: An End-to-End Multi-Channel Neural Network Approach for Predicting Influenza A Virus Hosts and Antigenic Types. SN Computer Science, 4 (5).


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-6-20 - 2018-6-23, Reykjavik, Iceland.


Gupta, Anshul, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2015) Making the Best of Limited Memory in Multi-Player Discounted Sum Games. In: 6th International Symposium on Games, Automata, Logics and Formal Verification (GandALF).


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. COMPUTER AIDED VERIFICATION, PT II, CAV 2021, 12760. pp. 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 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 Lexicographic Omega-Regular Objectives. In: International Symposium on Formal Methods.


Xu, Yanhua ORCID: 0000-0003-1028-9023 and Wojtczak, Dominik
(2022) Multi-channel neural networks for predicting influenza A virus hosts and antigenic types. [Preprint]


Hahn, Ernst Moritz ORCID: 0000-0002-9348-7684, Perez, Mateo ORCID: 0000-0003-4220-3212, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio ORCID: 0000-0002-2085-2003, Trivedi, Ashutosh ORCID: 0000-0001-9346-0126 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2023) Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning. In: Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland, pp. 527-545. ISBN 9783031308222


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. In: Theory and Applications of Models of Computation.


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-6-20 - 2017-6-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-8-19 - 2017-8-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. pp. 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. In: 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016-10-17 - 2016-10-19.


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. In: ISSTA '17: International Symposium on Software Testing and Analysis.


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. In: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017-6-20 - 2017-6-23.


Xu, Yanhua ORCID: 0000-0003-1028-9023 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2021) Predicting Influenza A Viral Host Using PSSM and Word Embeddings. In: 2021 IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB), 2021-10-13 - 2021-10-15.


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
(2023) Propositional Gossip Protocols. PhD thesis, University of Liverpool.


Livesey, Joseph and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2021) Propositional Gossip Protocols. .


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


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


Hahn, Ernst Moritz, Perez, Mateo, Schewe, Sven ORCID: 0000-0002-9093-9518, Somenzi, Fabio, Trivedi, Ashutosh and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2022) Reinforcement Learning with Guarantees That Hold for Ever. .


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


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-3-27 - 2021-4-1, 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. pp. 427-447.


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


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-8-19 - 2017-8-26.


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

This list was generated on Wed Sep 13 19:32:50 2023 BST.