No. Title Author Year
1 Energy Mean-Payoff Games Bruyère, Véronique et al. 2019
2 Expected Window Mean-Payoff Bordais, Benjamin et al. 2019
3 The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games Brihaye, Thomas et al. 2019
4 Beyond Admissibility: Dominance Between Chains of Strategies Basset, Nicolas et al. 2018
5 Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints Kretínský, Jan et al. 2018
6 Parameterized complexity of games with monotonically ordered omega-regular objectives Bruyère, Véronique et al. 2018
7 Safe and Optimal Scheduling for Hard and Soft Tasks Geeraerts, Gilles et al. 2018
8 Admissibility in Games with Imperfect Information (Invited Talk) Brenguier, Romain et al. 2017
9 Admissiblity in Concurrent Games Basset, Nicolas et al. 2017
10 Front Matter, Table of Contents, Preface, Conference Organization Larsen, Kim G. et al. 2017
11 LIPIcs, Volume 83, MFCS'17, Complete Volume Larsen, Kim G. et al. 2017
12 Minkowski Games Le Roux, Stéphane et al. 2017
13 Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes Berthon, Raphaël et al. 2017
14 Admissibility in Quantitative Graph Games Brenguier, Romain et al. 2016
15 Minimizing Regret in Discounted-Sum Games Hunter, Paul et al. 2016
16 On the Complexity of Heterogeneous Multidimensional Games Bruyere, Veronique et al. 2016
17 The Complexity of Rational Synthesis Condurache, Rodica et al. 2016
18 Assume-Admissible Synthesis Brenguier, Romain et al. 2015
19 Reactive Synthesis Without Regret Hunter, Paul et al. 2015
20 Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability Brihaye, Thomas et al. 2015
21 Finite-Valued Weighted Automata Filiot, Emmanuel et al. 2014
22 Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games Bruyère, Véronique et al. 2014
23 Multiple-Environment Markov Decision Processes Raskin, Jean-Francois et al. 2014
24 Quantitative Games with Interval Objectives Hunter, Paul et al. 2014
25 Generalized Mean-payoff and Energy Games Chatterjee, Krishnendu et al. 2010
Current Page :
Number of result pages: 1
Number of documents: 25

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