| Publication | Date of Publication | Type |
|---|
| Reachability games and friends: a journey through the Lens of memory and complexity (invited talk) | 2025-07-28 | Paper |
Different strokes in randomised strategies: revisiting Kuhn's theorem under finite-memory assumptions
Information and Computation | 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
Logical Methods in Computer Science | 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
TheoretiCS | 2024-07-03 | Paper |
| Characterizing omega-regularity through finite-memory determinacy of games on infinite graphs | 2024-04-23 | Paper |
Arena-independent finite-memory determinacy in stochastic games
Logical Methods in Computer Science | 2024-01-16 | Paper |
scientific article; zbMATH DE number 7730627 (Why is no real title available?)
(available as arXiv preprint) | 2023-08-21 | Paper |
| Arena-independent finite-memory determinacy in stochastic games | 2023-08-21 | Paper |
Energy mean-payoff games
(available as arXiv preprint) | 2023-02-03 | Paper |
| scientific article; zbMATH DE number 7649916 (Why is no real title available?) | 2023-02-03 | Paper |
Timed games with bounded window parity objectives
(available as arXiv preprint) | 2023-01-18 | Paper |
Decisiveness of stochastic systems and its application to hybrid models
Information and Computation | 2022-12-08 | Paper |
Simple strategies in multi-objective MDPs
Tools and Algorithms for the Construction and Analysis of Systems | 2022-10-13 | Paper |
Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions
(available as arXiv preprint) | 2022-07-21 | Paper |
| scientific article; zbMATH DE number 7559480 (Why is no real title available?) | 2022-07-18 | Paper |
Games where you can play optimally with arena-independent finite memory
(available as arXiv preprint) | 2022-02-09 | Paper |
| Games where you can play optimally with arena-independent finite memory | 2022-02-09 | Paper |
| scientific article; zbMATH DE number 7455746 (Why is no real title available?) | 2022-01-11 | Paper |
scientific article; zbMATH DE number 7455746 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-11 | Paper |
| scientific article; zbMATH DE number 7447747 (Why is no real title available?) | 2021-12-17 | Paper |
scientific article; zbMATH DE number 7447747 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-17 | Paper |
| Window parity games: an alternative approach toward parity games with time bounds | 2021-12-07 | Paper |
Window parity games: an alternative approach toward parity games with time bounds
(available as arXiv preprint) | 2021-12-07 | Paper |
| Average-energy games | 2021-12-03 | Paper |
Average-energy games
(available as arXiv preprint) | 2021-12-03 | Paper |
| Expectations or guarantees? I want it all! A crossroad between games and MDPs | 2021-06-22 | Paper |
Expectations or guarantees? I want it all! A crossroad between games and MDPs
(available as arXiv preprint) | 2021-06-22 | Paper |
Life is random, time is not: Markov decision processes with window objectives
(available as arXiv preprint) | 2020-12-18 | 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
(available as arXiv preprint) | 2020-05-27 | Paper |
Decisiveness of Stochastic Systems and its Application to Hybrid Models
(available as arXiv preprint) | 2020-01-13 | Paper |
Life is Random, Time is Not: Markov Decision Processes with Window Objectives
(available as arXiv preprint) | 2019-01-11 | Paper |
Average-energy games
Acta Informatica | 2018-04-10 | Paper |
Percentile queries in multi-dimensional Markov decision processes
Computer Aided Verification | 2018-03-01 | Paper |
Reachability in networks of register protocols under stochastic schedulers
(available as arXiv preprint) | 2017-12-19 | Paper |
Bounding Average-Energy Games
Lecture Notes in Computer Science | 2017-05-19 | Paper |
Percentile queries in multi-dimensional Markov decision processes
Formal Methods in System Design | 2017-05-15 | Paper |
Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games
Information and Computation | 2017-05-12 | Paper |
Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
(available as arXiv preprint) | 2017-03-03 | Paper |
Non-zero sum games for reactive synthesis
Language and Automata Theory and Applications | 2016-04-13 | Paper |
Looking at mean-payoff and total-payoff through windows
Information and Computation | 2015-06-01 | Paper |
Variations on the stochastic shortest path problem
Lecture Notes in Computer Science | 2015-02-04 | Paper |
Looking at mean-payoff and total-payoff through windows
Automated Technology for Verification and Analysis | 2014-07-08 | Paper |
Strategy synthesis for multi-dimensional quantitative objectives
Acta Informatica | 2014-07-03 | Paper |
Strategy synthesis for multi-dimensional quantitative objectives
Lecture Notes in Computer Science | 2012-09-25 | Paper |
