| Publication | Date of Publication | Type |
|---|
| Different strokes in randomised strategies: revisiting Kuhn's theorem under finite-memory assumptions | 2024-12-03 | Paper |
| How to play optimally for regular objectives? | 2024-11-14 | Paper |
| The true colors of memory: a tour of chromatic-memory strategies in zero-sum games on graphs (invited talk) | 2024-09-12 | Paper |
| Half-positional objectives recognized by deterministic Büchi automata | 2024-09-04 | Paper |
| Half-positional objectives recognized by deterministic Büchi automata | 2024-08-13 | Paper |
| CONCUR test-of-time award 2022 (invited paper) | 2024-08-13 | Paper |
| Different strokes in randomised strategies: revisiting Kuhn's theorem under finite-memory assumptions | 2024-08-13 | Paper |
| Characterizing omega-regularity through finite-memory determinacy of games on infinite graphs | 2024-07-03 | Paper |
| Characterizing omega-regularity through finite-memory determinacy of games on infinite graphs | 2024-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6134270 | 2024-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6134270 | 2023-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6176109 | 2023-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875382 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875369 | 2023-02-03 | Paper |
| Timed games with bounded window parity objectives | 2023-01-18 | Paper |
| Decisiveness of stochastic systems and its application to hybrid models | 2022-12-08 | Paper |
| Simple Strategies in Multi-Objective MDPs | 2022-10-13 | Paper |
| Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions | 2022-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089289 | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5028465 | 2022-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5021008 | 2022-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384895 | 2021-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015274 | 2021-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5013874 | 2021-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4994885 | 2021-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5141616 | 2020-12-18 | Paper |
| Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version) | 2020-09-28 | Paper |
| Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes | 2020-05-27 | Paper |
| Decisiveness of Stochastic Systems and its Application to Hybrid Models | 2020-01-13 | Paper |
| Life is Random, Time is Not: Markov Decision Processes with Window Objectives | 2019-01-11 | Paper |
| Average-energy games | 2018-04-10 | Paper |
| Percentile queries in multi-dimensional Markov decision processes | 2018-03-01 | Paper |
| Reachability in Networks of Register Protocols under Stochastic Schedulers | 2017-12-19 | Paper |
| Bounding Average-Energy Games | 2017-05-19 | Paper |
| Percentile queries in multi-dimensional Markov decision processes | 2017-05-15 | Paper |
| Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games | 2017-05-12 | Paper |
| Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games | 2017-03-03 | Paper |
| Non-Zero Sum Games for Reactive Synthesis | 2016-04-13 | Paper |
| Looking at mean-payoff and total-payoff through windows | 2015-06-01 | Paper |
| Variations on the Stochastic Shortest Path Problem | 2015-02-04 | Paper |
| Looking at Mean-Payoff and Total-Payoff through Windows | 2014-07-08 | Paper |
| Strategy synthesis for multi-dimensional quantitative objectives | 2014-07-03 | Paper |
| Strategy synthesis for multi-dimensional quantitative objectives | 2012-09-25 | Paper |
