No. Title Author Year
1 Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs Bouyer, Patricia et al. 2022
2 CONCUR Test-Of-Time Award 2022 (Invited Paper) Castellani, Ilaria et al. 2022
3 Different Strokes in Randomised Strategies: Revisiting Kuhn’s Theorem Under Finite-Memory Assumptions Main, James C. A. et al. 2022
4 Half-Positional Objectives Recognized by Deterministic Büchi Automata Bouyer, Patricia et al. 2022
5 The True Colors of Memory: A Tour of Chromatic-Memory Strategies in Zero-Sum Games on Graphs (Invited Talk) Bouyer, Patricia et al. 2022
6 Arena-Independent Finite-Memory Determinacy in Stochastic Games Bouyer, Patricia et al. 2021
7 Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives Main, James C. A. et al. 2021
8 Games Where You Can Play Optimally with Arena-Independent Finite Memory Bouyer, Patricia et al. 2020
9 Energy Mean-Payoff Games Bruyère, Véronique et al. 2019
10 Life Is Random, Time Is Not: Markov Decision Processes with Window Objectives Brihaye, Thomas et al. 2019
11 Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions Le Roux, Stéphane et al. 2018
12 Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes Berthon, Raphaël et al. 2017
13 Reachability in Networks of Register Protocols under Stochastic Schedulers Bouyer, Patricia et al. 2016
14 Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games Bruyère, Véronique et al. 2014
Current Page :
Number of result pages: 1
Number of documents: 14

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI