Dominik Wojtczak

SN Comput. Sci., April, 2024

Omega-Regular Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

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

[BibT_eX]

[DOI]

SN Comput. Sci., September, 2023

Multi-objective ω-Regular Reinforcement Learning.

[BibT_eX]

[DOI]

Formal Aspects Comput., June, 2023

Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Omega-Regular Reward Machines.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

Coordination Games on Weighted Directed Graphs.

[BibT_eX]

[DOI]

Math. Oper. Res., 2022

A Recursive Approach to Solving Parity Games in Quasipolynomial Time.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2022

Multi-channel neural networks for predicting influenza A virus hosts and antigenic types.

[BibT_eX]

[DOI]

CoRR, 2022

Alternating Good-for-MDP Automata.

[BibT_eX]

[DOI]

CoRR, 2022

Dive into machine learning algorithms for influenza virus host prediction with hemagglutinin sequences.

[BibT_eX]

[DOI]

Biosyst., 2022

Facility Reallocation on the Line.

[BibT_eX]

[DOI]

Bart de Keijzer

Algorithmica, 2022

Recursive Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Propositional Gossip Protocols under Fair Schedulers.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Hidden 1-Counter Markov Models and How to Learn Them.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

End-to-End Multi-channel Neural Networks for Predicting Influenza a Virus Hosts and Antigenic Types.

[BibT_eX]

[DOI]

Proceedings of the 14th International Joint Conference on Knowledge Discovery, 2022

Reinforcement Learning with Guarantees that Hold for Ever.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2022

Alternating Good-for-MDPs Automata.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2022

An Impossibility Result in Automata-Theoretic Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Mungojerrie: Reinforcement Learning of Linear-Time Objectives.

[BibT_eX]

[DOI]

CoRR, 2021

Priority Promotion with Parysian Flair.

[BibT_eX]

[DOI]

CoRR, 2021

Minimal Number of Calls in Propositional Protocols.

[BibT_eX]

[DOI]

Proceedings of the Reachability Problems - 15th International Conference, 2021

Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2021

Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 24th International Symposium, 2021

Propositional Gossip Protocols.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory - 23rd International Symposium, 2021

Predicting Influenza A Viral Host Using PSSM and Word Embeddings.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, 2021

Leveraging Neural Networks in Malaria Control.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, 2021

Model-Free Reinforcement Learning for Branching Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Reward Shaping for Reinforcement Learning with Omega-Regular Objectives.

[BibT_eX]

[DOI]

CoRR, 2020

Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

How to Play in Infinite MDPs (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

Model-Free Reinforcement Learning for Stochastic Parity Games.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Concurrency Theory, 2020

Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Recursive stochastic games with positive rewards.

[BibT_eX]

[DOI]

Kousha Etessami

Mihalis Yannakakis

Theor. Comput. Sci., 2019

An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2019

Good-for-MDPs Automata.

[BibT_eX]

[DOI]

CoRR, 2019

Open Problems in a Logic of Gossips.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019

Improving the complexity of Parys' recursive algorithm.

[BibT_eX]

[DOI]

Karoliina Lehtinen

CoRR, 2019

Omega-Regular Objectives in Model-Free Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Limit reachability for model-free reinforcement learning of ω-regular objectives.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019

2018

Verification of Distributed Epistemic Gossip Protocols.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2018

On Strong NP-Completeness of Rational Problems.

[BibT_eX]

[DOI]

Proceedings of the Computer Science - Theory and Applications, 2018

2017

Common Knowledge in a Logic of Gossips.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

An ordered approach to solving parity games in quasi polynomial time and quasi linear space.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Decidability of Fair Termination of Gossip Protocols.

[BibT_eX]

[DOI]

Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017

MDPs with energy-parity objectives.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

On strong determinacy of countable stochastic games.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Parity objectives in countable MDPs.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Synchronisation Games on Hypergraphs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

On the Computational Complexity of Gossip Protocols.

[BibT_eX]

[DOI]

Eryk Kopczynski

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Optimal Control for Multi-mode Systems with Discrete Costs.

[BibT_eX]

[DOI]

Mahmoud A. A. Mousa

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Constrained Pure Nash Equilibria in Polymatrix Games.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Optimal Control for Simple Linear Hybrid Systems.

[BibT_eX]

[DOI]

Mahmoud A. A. Mousa

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

On Decidability of a Logic of Gossips.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Efficient Local Search in Coordination Games on Graphs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

Making the Best of Limited Memory in Multi-Player Discounted Sum Games.

[BibT_eX]

[DOI]

Anshul Gupta

Proceedings of the Proceedings Sixth International Symposium on Games, 2015

Coordination Games on Directed Graphs.

[BibT_eX]

[DOI]

Shankara Narayanan Krishna

Proceedings of the Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2015

On Pure Nash Equilibria in Stochastic Games.

[BibT_eX]

[DOI]

Ankush Das

Lakshmi Manasa

Proceedings of the Theory and Applications of Models of Computation, 2015

2013

Optimal Scheduling for Linear-Rate Multi-Mode Systems

[BibT_eX]

[DOI]

CoRR, 2013

Multi-objective Discounted Reward Verification in Graphs and MDPs.

[BibT_eX]

[DOI]

Krishnendu Chatterjee

Vojtech Forejt

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Optimal Control for Linear-Rate Multi-mode Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

Expected Termination Time in BPA Games.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Minimizing Expected Termination Time in One-Counter Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

Optimal scheduling for constant-rate multi-mode systems.

[BibT_eX]

[DOI]

Rajeev Alur

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

2011

The Complexity of Nash Equilibria in Stochastic Multiplayer Games

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2011

On Probabilistic Parallel Programs with Process Creation and Synchronisation.

[BibT_eX]

[DOI]

Stefan Kiefer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

The Complexity of Nash Equilibria in Limit-Average Games.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

Trust Metrics for the SPKI/SDSI Authorisation Framework.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

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

[BibT_eX]

[DOI]

Kousha Etessami

Mihalis Yannakakis

Perform. Evaluation, 2010

One-Counter Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, 2010

Timed Branching Processes.

[BibT_eX]

[DOI]

Proceedings of the QEST 2010, 2010

Recursive Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Recursive probabilistic models : efficient analysis and implementation.

[BibT_eX]

[DOI]

PhD thesis, 2009

The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009

Decision Problems for Nash Equilibria in Stochastic Games.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2007

PReMo : An Analyzer for P robabilistic Re cursive Mo dels.

[BibT_eX]

[DOI]