| 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 |
