Nash Equilibria for Reachability Objectives in Multi-player Timed Games. - Patricia Bouyer; Romain Brenguier; Nicolas Markey (CONCUR, 2010)

Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games. - Patricia Bouyer; Romain Brenguier; Nicolas Markey (FORMATS, 2010)

Nash Equilibria in Concurrent Games with Büchi Objectives. - Patricia Bouyer; Romain Brenguier; Nicolas Markey; Michael Ummels (FSTTCS, 2011)

A Comparison of Succinctly Represented Finite-State Systems. - Romain Brenguier; Stefan Göller; Ocan Sankur (CONCUR, 2012)

Concurrent Games with Ordered Objectives. - Patricia Bouyer; Romain Brenguier; Nicolas Markey; Michael Ummels (FoSSaCS, 2012)

Equilibres de Nash dans les jeux concurrents : application aux jeux temporisés. (Nash equilibria in concurrent games : application to timed games). - Romain Brenguier (2012)

PRALINE: A Tool for Computing Nash Equilibria in Concurrent Games. - Romain Brenguier (CAV, 2013)

Robust Equilibria in Concurrent Games. - Romain Brenguier (CoRR, 2013)

The complexity of admissibility in Omega-regular games. - Romain Brenguier; Jean-François Raskin; Mathieu Sassolas (CSL-LICS, 2014)

Energy and mean-payoff timed games. - Romain Brenguier; Franck Cassez; Jean-François Raskin (HSCC, 2014)

AbsSynthe: abstract synthesis from succinct safety specifications. - Romain Brenguier; Guillermo A. Pérez 001; Jean-François Raskin; Ocan Sankur (SYNT, 2014)

Pareto Curves of Multidimensional Mean-Payoff Games. - Romain Brenguier; Jean-François Raskin (CAV (2), 2015)

Pure Nash Equilibria in Concurrent Deterministic Games. - Patricia Bouyer; Romain Brenguier; Nicolas Markey; Michael Ummels (Log. Methods Comput. Sci., 2015)

Compositional Algorithms for Succinct Safety Games. - Romain Brenguier; Guillermo A. Pérez 001; Jean-François Raskin; Ocan Sankur (SYNT, 2015)

The Second Reactive Synthesis Competition (SYNTCOMP 2015). - Swen Jacobs; Roderick Bloem; Romain Brenguier; Robert Könighofer; Guillermo A. Pérez 001; Jean-François Raskin; Leonid Ryzhyk; Ocan Sankur; Martina Seidl; Leander Tentrup; Adam Walker (SYNT, 2015)

Decidability Results for Multi-objective Stochastic Games. - Romain Brenguier; Vojtech Forejt (ATVA, 2016)

Optimal Assumptions for Synthesis. - Romain Brenguier (CONCUR, 2016)

Robust Equilibria in Mean-Payoff Games. - Romain Brenguier (FoSSaCS, 2016)

Admissibility in Quantitative Graph Games. - Romain Brenguier; Guillermo A. Pérez 001; Jean-François Raskin; Ocan Sankur (FSTTCS, 2016)

Non-Zero Sum Games for Reactive Synthesis. - Romain Brenguier; Lorenzo Clemente; Paul Hunter 001; Guillermo A. Pérez 001; Mickael Randour; Jean-François Raskin; Ocan Sankur; Mathieu Sassolas (LATA, 2016)

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. - Swen Jacobs; Roderick Bloem; Romain Brenguier; Ayrat Khalimov 001; Felix Klein 001; Robert Könighofer; Jens Kreber; Alexander Legg; Nina Narodytska; Guillermo A. Pérez 001; Jean-François Raskin; Leonid Ryzhyk; et al. (SYNT@CAV, 2016)

Admissibility in Games with Imperfect Information (Invited Talk). - Romain Brenguier; Arno Pauly; Jean-François Raskin; Ocan Sankur (CONCUR, 2017)

Assume-admissible synthesis. - Romain Brenguier; Jean-François Raskin; Ocan Sankur (Acta Informatica, 2017)

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. - Swen Jacobs; Nicolas Basset; Roderick Bloem; Romain Brenguier; Maximilien Colange; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; Felix Klein 001; Thibaud Michaud; Guillermo A. Pérez 001; Jean-François Raskin; et al. (SYNT@CAV, 2017)

The first reactive synthesis competition (SYNTCOMP 2014). - Swen Jacobs; Roderick Bloem; Romain Brenguier; Rüdiger Ehlers; Timotheus Hell; Robert Könighofer; Guillermo A. Pérez 001; Jean-François Raskin; Leonid Ryzhyk; Ocan Sankur; Martina Seidl; Leander Tentrup; et al. (Int. J. Softw. Tools Technol. Transf., 2017)

JBMC: A Bounded Model Checking Tool for Java Bytecode. - Romain Brenguier; Lucas C. Cordeiro; Daniel Kroening; Peter Schrammel (CoRR, 2023)

Games on Graphs. - Nathanaël Fijalkow; Nathalie Bertrand 001; Patricia Bouyer-Decitre; Romain Brenguier; Arnaud Carayol; John Fearnley; Hugo Gimbert; Florian Horn 001; Rasmus Ibsen-Jensen; Nicolas Markey; Benjamin Monmege; Petr Novotný 001; et al. (CoRR, 2023)