| 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 |
| Window parity games: an alternative approach toward parity games with time bounds | 2021-12-07 | Paper |
| Average-energy games | 2021-12-03 | Paper |
| Expectations or guarantees? I want it all! A crossroad between games and MDPs | 2021-06-22 | Paper |
| Life is random, time is not: Markov decision processes with window objectives | 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 |
