| Publication | Date of Publication | Type |
|---|
| Distributed controller synthesis for deadlock avoidance | 2024-06-24 | Paper |
Submixing and shift-invariant stochastic games
International Journal of Game Theory | 2024-01-04 | Paper |
Distributed Asynchronous Games With Causal Memory are Undecidable
Logical Methods in Computer Science | 2022-10-06 | Paper |
Two-sided matching markets with strongly correlated preferences
(available as arXiv preprint) | 2022-05-20 | Paper |
Alternating nonzero automata
(available as arXiv preprint) | 2021-08-04 | Paper |
| Blackwell-optimal strategies in priority mean-payoff games | 2021-02-16 | Paper |
On the control of asynchronous automata
(available as arXiv preprint) | 2020-11-25 | Paper |
Controlling a population
(available as arXiv preprint) | 2020-05-27 | Paper |
Emptiness of zero automata is decidable
(available as arXiv preprint) | 2020-05-27 | Paper |
Controlling a population
(available as arXiv preprint) | 2019-08-06 | Paper |
Qualitative determinacy and decidability of stochastic games with signals
Journal of the ACM | 2018-05-17 | Paper |
| scientific article; zbMATH DE number 6821564 (Why is no real title available?) | 2018-01-03 | Paper |
| Stamina: stabilisation monoids in automata theory | 2017-08-22 | Paper |
Deciding the value 1 problem for probabilistic leaktight automata
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
Deciding maxmin reachability in half-blind stochastic games
Algorithmic Game Theory | 2016-09-29 | Paper |
On values of repeated games with signals
The Annals of Applied Probability | 2016-03-11 | Paper |
On values of repeated games with signals
The Annals of Applied Probability | 2016-03-11 | Paper |
Randomness for free
Information and Computation | 2015-12-07 | Paper |
Deciding the value 1 problem for probabilistic leaktight automata
Logical Methods in Computer Science | 2015-08-25 | Paper |
Deciding the Value 1 Problem for $\sharp$ -acyclic Partially Observable Markov Decision Processes
SOFSEM 2014: Theory and Practice of Computer Science | 2015-01-13 | Paper |
Two recursively inseparable problems for probabilistic automata
Mathematical Foundations of Computer Science 2014 | 2014-10-14 | Paper |
| Solving simple stochastic tail games | 2014-05-22 | Paper |
Perfect-information stochastic mean-payoff parity games
Lecture Notes in Computer Science | 2014-04-16 | Paper |
| Discounting infinite games but how and why? | 2013-09-20 | Paper |
Asynchronous Games over Tree Architectures
Automata, Languages, and Programming | 2013-08-07 | Paper |
On (Subgame Perfect) Secure Equilibrium in Quantitative Reachability Games
Logical Methods in Computer Science | 2013-04-09 | Paper |
Blackwell optimal strategies in priority mean-payoff games
International Journal of Foundations of Computer Science | 2012-08-30 | Paper |
Subgame perfection for equilibria in quantitative reachability games
Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
| Applying Blackwell optimality: priority mean-payoff games as limits of multi-discounted games | 2011-03-30 | Paper |
Probabilistic automata on finite words: decidable and undecidable problems
Automata, Languages and Programming | 2010-09-07 | Paper |
Optimal Zielonka-type construction of deterministic asynchronous automata
Automata, Languages and Programming | 2010-09-07 | Paper |
Randomness for free
Mathematical Foundations of Computer Science 2010 | 2010-09-03 | Paper |
Solving Simple Stochastic Games with Few Random Vertices
Logical Methods in Computer Science | 2009-06-30 | Paper |
Solving Simple Stochastic Games
Logic and Theory of Algorithms | 2008-06-19 | Paper |
Simple Stochastic Games with Few Random Vertices Are Easy to Solve
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Perfect Information Stochastic Priority Games
Automata, Languages and Programming | 2007-11-28 | Paper |
Deterministic Priority Mean-Payoff Games as Limits of Discounted Games
Automata, Languages and Programming | 2007-09-11 | Paper |
Pure Stationary Optimal Strategies in Markov Decision Processes
STACS 2007 | 2007-09-03 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2005-08-22 | Paper |
Mathematical Foundations of Computer Science 2004
Lecture Notes in Computer Science | 2005-08-22 | Paper |
