Romain Brenguier

Identifiers

• name variant Romain Brenguier 0.60 · backfill

Papers (8)

1. Admissibility in Quantitative Graph Games cs.LO · 2016 · author #1
2. Decidability Results for Multi-objective Stochastic Games cs.GT · 2016 · author #1
3. Optimal Assumptions for Synthesis cs.LO · 2016 · author #1
4. Non-Zero Sum Games for Reactive Synthesis cs.LO · 2015 · author #1
5. Assume-Admissible Synthesis cs.LO · 2015 · author #1
6. The First Reactive Synthesis Competition (SYNTCOMP 2014) cs.LO · 2015 · author #3
7. Robust Equilibria in Concurrent Games cs.GT · 2013 · author #1
8. The Complexity of Admissibility in Omega-Regular Games cs.GT · 2013 · author #1

Mentions

• 1304.1682 #1 · backfill · confidence 0.70 Romain Brenguier

Frequent Coauthors

• Jean-Fran\c{c}ois Raskin 5 shared papers
• Ocan Sankur 4 shared papers
• Guillermo A. P\'erez 3 shared papers
• Mathieu Sassolas 2 shared papers
• Adam Walker 1 shared papers
• Leander Tentrup 1 shared papers
• Leonid Ryzhyk 1 shared papers
• Lorenzo Clemente 1 shared papers
• Martina Seidl 1 shared papers
• Mickael Randour 1 shared papers
• Paul Hunter 1 shared papers
• Robert K\"onighofer 1 shared papers
• Roderick Bloem 1 shared papers
• R\"udiger Ehlers 1 shared papers
• Swen Jacobs 1 shared papers
• Timotheus Hell 1 shared papers
• Vojt\v{e}ch Forejt 1 shared papers