No. Title Author Year
1 Optimal Strategies in Concurrent Reachability Games Bordais, Benjamin et al. 2022
2 Strategy Synthesis for Global Window PCTL Bordais, Benjamin et al. 2022
3 From Local to Global Determinacy in Concurrent Graph Games Bordais, Benjamin et al. 2021
4 Expected Window Mean-Payoff Bordais, Benjamin et al. 2019
Current Page :
Number of result pages: 1
Number of documents: 4


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