Romain Brenguier

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 23

Top Venues

CoRR

SYNT

CONCUR

SYNT@CAV

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

Romain Brenguier, Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel
JBMC: A Bounded Model Checking Tool for Java Bytecode. CoRR (2023)
Nathanaël Fijalkow, Nathalie Bertrand, Patricia Bouyer-Decitre, Romain Brenguier, Arnaud Carayol, John Fearnley, Hugo Gimbert, Florian Horn, Rasmus Ibsen-Jensen, Nicolas Markey, Benjamin Monmege, Petr Novotný, Mickael Randour, Ocan Sankur, Sylvain Schmitz, Olivier Serre, Mateusz Skomra
Games on Graphs. CoRR (2023)
Romain Brenguier, Jean-François Raskin, Ocan Sankur
Assume-admissible synthesis. Acta Informatica 54 (1) (2017)
Romain Brenguier, Arno Pauly, Jean-François Raskin, Ocan Sankur
Admissibility in Games with Imperfect Information (Invited Talk). CONCUR (2017)
Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
The first reactive synthesis competition (SYNTCOMP 2014). Int. J. Softw. Tools Technol. Transf. 19 (3) (2017)
Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. SYNT@CAV (2017)
Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. SYNT@CAV (2016)
Romain Brenguier
Optimal Assumptions for Synthesis. CoRR (2016)
Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas
Non-Zero Sum Games for Reactive Synthesis. LATA (2016)
Romain Brenguier, Vojtech Forejt
Decidability Results for Multi-objective Stochastic Games. CoRR (2016)
Romain Brenguier, Vojtech Forejt
Decidability Results for Multi-objective Stochastic Games. ATVA (2016)
Romain Brenguier
Optimal Assumptions for Synthesis. CONCUR (2016)
Romain Brenguier
Robust Equilibria in Mean-Payoff Games. FoSSaCS (2016)
Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur
Admissibility in Quantitative Graph Games. FSTTCS (2016)
Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur
Admissibility in Quantitative Graph Games. CoRR (2016)
Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels
Pure Nash Equilibria in Concurrent Deterministic Games. Log. Methods Comput. Sci. 11 (2) (2015)
Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur
Compositional Algorithms for Succinct Safety Games. SYNT (2015)
Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas
Non-Zero Sum Games for Reactive Synthesis. CoRR (2015)
Romain Brenguier, Jean-François Raskin, Ocan Sankur
Assume-Admissible Synthesis. CoRR (2015)
Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
The Second Reactive Synthesis Competition (SYNTCOMP 2015). SYNT (2015)
Romain Brenguier, Jean-François Raskin
Pareto Curves of Multidimensional Mean-Payoff Games. CAV (2) (2015)
Romain Brenguier, Jean-François Raskin, Ocan Sankur
Assume-Admissible Synthesis. CONCUR (2015)
Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
The First Reactive Synthesis Competition (SYNTCOMP 2014). CoRR (2015)
Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur
AbsSynthe: abstract synthesis from succinct safety specifications. SYNT (2014)
Romain Brenguier, Jean-François Raskin, Mathieu Sassolas
The complexity of admissibility in Omega-regular games. CSL-LICS (2014)
Romain Brenguier, Franck Cassez, Jean-François Raskin
Energy and mean-payoff timed games. HSCC (2014)
Romain Brenguier
PRALINE: A Tool for Computing Nash Equilibria in Concurrent Games. CAV (2013)
Romain Brenguier
Robust Equilibria in Concurrent Games. CoRR (2013)
Romain Brenguier, Jean-François Raskin, Mathieu Sassolas
The Complexity of Admissibility in Omega-Regular Games CoRR (2013)
Romain Brenguier, Stefan Göller, Ocan Sankur
A Comparison of Succinctly Represented Finite-State Systems. CONCUR (2012)
Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels
Concurrent Games with Ordered Objectives. FoSSaCS (2012)
Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels
Nash Equilibria in Concurrent Games with Büchi Objectives. FSTTCS (2011)
Patricia Bouyer, Romain Brenguier, Nicolas Markey
Nash Equilibria for Reachability Objectives in Multi-player Timed Games. CONCUR (2010)
Patricia Bouyer, Romain Brenguier, Nicolas Markey
Turn-Based Finite Games. FORMATS (2010)

Romain Brenguier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Romain Brenguier