| 2017 | CONCUR | Admissibility in Games with Imperfect Information (Invited Talk). | Romain Brenguier, Arno Pauly, Jean-Franois Raskin, Ocan Sankur |
| 2016 | ATVA | Decidability Results for Multi-objective Stochastic Games. | Romain Brenguier, Vojtech Forejt |
| 2016 | CONCUR | Optimal Assumptions for Synthesis. | Romain Brenguier |
| 2016 | FOSSACS | Robust Equilibria in Mean-Payoff Games. | Romain Brenguier |
| 2016 | LATA | Non-Zero Sum Games for Reactive Synthesis. | Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Prez, Mickael Randour, Jean-Franois Raskin, Ocan Sankur, Mathieu Sassolas |
| 2015 | CAV | Pareto Curves of Multidimensional Mean-Payoff Games. | Romain Brenguier, Jean-Franois Raskin |
| 2015 | CONCUR | Assume-Admissible Synthesis. | Romain Brenguier, Jean-Franois Raskin, Ocan Sankur |
| 2014 | CSL | The complexity of admissibility in Omega-regular games. | Romain Brenguier, Jean-Franois Raskin, Mathieu Sassolas |
| 2013 | CAV | PRALINE: A Tool for Computing Nash Equilibria in Concurrent Games. | Romain Brenguier |
| 2012 | CONCUR | A Comparison of Succinctly Represented Finite-State Systems. | Romain Brenguier, Stefan Gller, Ocan Sankur |
| 2012 | FOSSACS | Concurrent Games with Ordered Objectives. | Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels |
| 2010 | CONCUR | Nash Equilibria for Reachability Objectives in Multi-player Timed Games. | Patricia Bouyer, Romain Brenguier, Nicolas Markey |