Romain Brenguier

35 papers A* 1B 8C 1Journal 13Unranked 11
YearRankTypeTitle / Venue / Authors
2023 J jnl
Games on Graphs.
CoRR
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
2023 J jnl
JBMC: A Bounded Model Checking Tool for Java Bytecode.
CoRR
Romain Brenguier, Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel
2017 B conf
Admissibility in Games with Imperfect Information (Invited Talk).
CONCUR
Romain Brenguier, Arno Pauly, Jean-François Raskin, Ocan Sankur
2017 J jnl
Assume-admissible synthesis.
Acta Informatica
Romain Brenguier, Jean-François Raskin, Ocan Sankur
2017 — conf
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results.
SYNT@CAV
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
2017 J jnl
The first reactive synthesis competition (SYNTCOMP 2014).
Int. J. Softw. Tools Technol. Transf.
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
2016 — conf
Admissibility in Quantitative Graph Games.
FSTTCS
Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur
2016 J jnl
Admissibility in Quantitative Graph Games.
CoRR
Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur
2016 B conf
Decidability Results for Multi-objective Stochastic Games.
ATVA
Romain Brenguier, Vojtech Forejt
2016 J jnl
Decidability Results for Multi-objective Stochastic Games.
CoRR
Romain Brenguier, Vojtech Forejt
2016 C conf
Non-Zero Sum Games for Reactive Synthesis.
LATA
Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas
2016 B conf
Optimal Assumptions for Synthesis.
CONCUR
Romain Brenguier
2016 J jnl
Optimal Assumptions for Synthesis.
CoRR
Romain Brenguier
2016 B conf
Robust Equilibria in Mean-Payoff Games.
FoSSaCS
Romain Brenguier
2016 — conf
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results.
SYNT@CAV
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
2015 B conf
Assume-Admissible Synthesis.
CONCUR
Romain Brenguier, Jean-François Raskin, Ocan Sankur
2015 J jnl
Assume-Admissible Synthesis.
CoRR
Romain Brenguier, Jean-François Raskin, Ocan Sankur
2015 — conf
Compositional Algorithms for Succinct Safety Games.
SYNT
Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur
2015 J jnl
Non-Zero Sum Games for Reactive Synthesis.
CoRR
Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas
2015 — conf
Pareto Curves of Multidimensional Mean-Payoff Games.
CAV (2)
Romain Brenguier, Jean-François Raskin
2015 J jnl
Pure Nash Equilibria in Concurrent Deterministic Games.
Log. Methods Comput. Sci.
Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels
2015 J jnl
The First Reactive Synthesis Competition (SYNTCOMP 2014).
CoRR
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
2015 — conf
The Second Reactive Synthesis Competition (SYNTCOMP 2015).
SYNT
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
2014 — conf
AbsSynthe: abstract synthesis from succinct safety specifications.
SYNT
Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur
2014 — conf
Energy and mean-payoff timed games.
HSCC
Romain Brenguier, Franck Cassez, Jean-François Raskin
2014 — conf
The complexity of admissibility in Omega-regular games.
CSL-LICS
Romain Brenguier, Jean-François Raskin, Mathieu Sassolas
2013 A* conf
PRALINE: A Tool for Computing Nash Equilibria in Concurrent Games.
CAV
Romain Brenguier
2013 J jnl
Robust Equilibria in Concurrent Games.
CoRR
Romain Brenguier
2013 J jnl
The Complexity of Admissibility in Omega-Regular Games
CoRR
Romain Brenguier, Jean-François Raskin, Mathieu Sassolas
2012 B conf
A Comparison of Succinctly Represented Finite-State Systems.
CONCUR
Romain Brenguier, Stefan Göller, Ocan Sankur
2012 B conf
Concurrent Games with Ordered Objectives.
FoSSaCS
Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels
2012 — —
Equilibres de Nash dans les jeux concurrents : application aux jeux temporisés. (Nash equilibria in concurrent games : application to timed games).
Romain Brenguier
2011 — conf
Nash Equilibria in Concurrent Games with Büchi Objectives.
FSTTCS
Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels
2010 — conf
Computing Equilibria in Two-Player Timed Games
FORMATS
Patricia Bouyer, Romain Brenguier, Nicolas Markey
2010 B conf
Nash Equilibria for Reachability Objectives in Multi-player Timed Games.
CONCUR
Patricia Bouyer, Romain Brenguier, Nicolas Markey