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 |