No. Title Author Year
1 Minkowski Games Le Roux, Stéphane et al. 2017
2 Admissibility in Quantitative Graph Games Brenguier, Romain et al. 2016
3 Minimizing Regret in Discounted-Sum Games Hunter, Paul et al. 2016
4 On the Complexity of Heterogeneous Multidimensional Games Bruyere, Veronique et al. 2016
5 The Complexity of Rational Synthesis Condurache, Rodica et al. 2016
6 Assume-Admissible Synthesis Brenguier, Romain et al. 2015
7 Reactive Synthesis Without Regret Hunter, Paul et al. 2015
8 Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability Brihaye, Thomas et al. 2015
9 Finite-Valued Weighted Automata Filiot, Emmanuel et al. 2014
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: 2
Number of documents: 13

DROPS-Home | Fulltext Search | Imprint Published by LZI