| Publication | Date of Publication | Type |
|---|
| Priority promotion with Parysian flair | 2024-10-29 | Paper |
| Omega-Regular Objectives in Model-Free Reinforcement Learning | 2023-11-24 | Paper |
| An impossibility result in automata-theoretic reinforcement learning | 2023-06-02 | Paper |
| Alternating good-for-MDPs automata | 2023-06-02 | Paper |
| Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives | 2023-04-21 | Paper |
| Minimal number of calls in propositional protocols | 2023-03-31 | Paper |
| Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives | 2022-12-22 | Paper |
| Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning | 2022-10-13 | Paper |
| Facility reallocation on the line | 2022-10-06 | Paper |
| Model-Free Reinforcement Learning for Stochastic Parity Games | 2022-07-18 | Paper |
| Coordination Games on Weighted Directed Graphs | 2022-06-27 | Paper |
| Propositional gossip protocols | 2022-05-20 | Paper |
| Model-free reinforcement learning for branching Markov decision processes | 2022-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5028462 | 2022-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5018499 | 2021-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5016795 | 2021-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015384 | 2021-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5013875 | 2021-12-03 | Paper |
| Simple stochastic games with almost-sure energy-parity objectives are in NP and conp | 2021-10-18 | Paper |
| Satisfiability modulo theories and chiral heterotic string vacua with positive cosmological constant | 2021-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144678 | 2021-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144681 | 2021-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144646 | 2021-01-19 | Paper |
| Recursive stochastic games with positive rewards | 2019-06-18 | Paper |
| On strong NP-completeness of rational problems | 2018-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4564781 | 2018-06-12 | Paper |
| Optimal control for multi-mode systems with discrete costs | 2017-12-01 | Paper |
| Optimal scheduling for constant-rate multi-mode systems | 2017-05-16 | Paper |
| On Decidability of a Logic of Gossips | 2016-11-30 | Paper |
| On Pure Nash Equilibria in Stochastic Games | 2015-09-30 | Paper |
| Expected Termination Time in BPA Games | 2014-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5417673 | 2014-05-22 | Paper |
| Multi-objective Discounted Reward Verification in Graphs and MDPs | 2014-01-17 | Paper |
| Optimal Control for Linear-Rate Multi-mode Systems | 2013-08-16 | Paper |
| Minimizing Expected Termination Time in One-Counter Markov Decision Processes | 2012-11-01 | Paper |
| The Complexity of Nash Equilibria in Stochastic Multiplayer Games | 2012-04-02 | Paper |
| The Complexity of Nash Equilibria in Limit-Average Games | 2011-09-02 | Paper |
| On Probabilistic Parallel Programs with Process Creation and Synchronisation | 2011-05-19 | Paper |
| Recursive Timed Automata | 2010-10-04 | Paper |
| Decision Problems for Nash Equilibria in Stochastic Games | 2009-11-12 | Paper |
| The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games | 2009-07-14 | Paper |
| Recursive Stochastic Games with Positive Rewards | 2008-08-28 | Paper |
