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


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