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 Arena-Independent Finite-Memory Determinacy in Stochastic Games Bouyer, Patricia et al. 2021
6 Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives Main, James C. A. et al. 2021
7 Games Where You Can Play Optimally with Arena-Independent Finite Memory Bouyer, Patricia et al. 2020
8 Energy Mean-Payoff Games Bruyère, Véronique et al. 2019
9 Life Is Random, Time Is Not: Markov Decision Processes with Window Objectives Brihaye, Thomas et al. 2019
10 Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions Le Roux, Stéphane et al. 2018
11 Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes Berthon, Raphaël et al. 2017
12 Reachability in Networks of Register Protocols under Stochastic Schedulers Bouyer, Patricia et al. 2016
13 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: 13

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