Dominik Wojtczak
According to our database^{1},
Dominik Wojtczak
authored at least 39 papers
between 2007 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at orcid.org
On csauthors.net:
Bibliography
2019
An ordered approach to solving parity games in quasipolynomial time and quasilinear space.
STTT, 2019
OmegaRegular Objectives in ModelFree 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 TwentySeventh International Joint Conference on Artificial Intelligence, 2018
On Strong NPCompleteness 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 LPAR21 Short Presentations, 2017
MDPs with energyparity 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 TwentySixth International Joint Conference on Artificial Intelligence, 2017
On the Computational Complexity of Gossip Protocols.
Proceedings of the TwentySixth International Joint Conference on Artificial Intelligence, 2017
Optimal Control for Multimode 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 ThirtyFirst 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 TwentyFifth International Joint Conference on Artificial Intelligence, 2016
2015
Making the Best of Limited Memory in MultiPlayer 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
Multiobjective Discounted Reward Verification in Graphs and MDPs.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Optimal Control for LinearRate Multimode 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 OneCounter Markov Decision Processes.
Proceedings of the Automata, Languages, and Programming  39th International Colloquium, 2012
Optimal scheduling for constantrate multimode 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 LimitAverage 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
OneCounter Markov Decision Processes.
Proceedings of the TwentyFirst Annual ACMSIAM 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
QuasiBirthDeath Processes, TreeLike QBDs, Probabilistic 1Counter 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