Dominik Wojtczak

According to our database1, Dominik Wojtczak authored at least 39 papers between 2007 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

Omega-Regular Objectives in Model-Free Reinforcement Learning.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018
Verification of Distributed Epistemic Gossip Protocols.
J. Artif. Intell. Res., 2018

Facility Reallocation on the Line.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

On Strong NP-Completeness of Rational Problems.
Proceedings of the Computer Science - Theory and Applications, 2018

2017
Common Knowledge in a Logic of Gossips.
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.
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Decidability of Fair Termination of Gossip Protocols.
Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017

MDPs with energy-parity objectives.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

On strong determinacy of countable stochastic games.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Parity objectives in countable MDPs.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Synchronisation Games on Hypergraphs.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

On the Computational Complexity of Gossip Protocols.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Optimal Control for Multi-mode Systems with Discrete Costs.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Constrained Pure Nash Equilibria in Polymatrix Games.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Optimal Control for Simple Linear Hybrid Systems.
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

On Decidability of a Logic of Gossips.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Efficient Local Search in Coordination Games on Graphs.
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.
Proceedings of the Proceedings Sixth International Symposium on Games, 2015

Coordination Games on Directed Graphs.
Proceedings of the Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2015

On Pure Nash Equilibria in Stochastic Games.
Proceedings of the Theory and Applications of Models of Computation, 2015

2013
Multi-objective Discounted Reward Verification in Graphs and MDPs.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Optimal Control for Linear-Rate Multi-mode Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

Expected Termination Time in BPA Games.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2012
Minimizing Expected Termination Time in One-Counter Markov Decision Processes.
Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

Optimal scheduling for constant-rate multi-mode systems.
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

2011
The Complexity of Nash Equilibria in Stochastic Multiplayer Games
Logical Methods in Computer Science, 2011

On Probabilistic Parallel Programs with Process Creation and Synchronisation.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

The Complexity of Nash Equilibria in Limit-Average Games.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

Trust Metrics for the SPKI/SDSI Authorisation Framework.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
One-Counter Markov Decision Processes.
Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, 2010

Timed Branching Processes.
Proceedings of the QEST 2010, 2010

Recursive Timed Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2010

2009
Recursive probabilistic models : efficient analysis and implementation.
PhD thesis, 2009

The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games.
Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009

Decision Problems for Nash Equilibria in Stochastic Games.
Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2008
Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Recursive Stochastic Games with Positive Rewards.
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

2007
PReMo : An Analyzer for P robabilistic Re cursive Mo dels.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007


  Loading...