Romain Brenguier

According to our database, Romain Brenguier authored at least 27 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Games on Graphs.

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

CoRR, 2023

JBMC: A Bounded Model Checking Tool for Java Bytecode.

Romain Brenguier, Lucas C. Cordeiro, Daniel Kroening, Peter Schrammel

CoRR, 2023

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, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

Int. J. Softw. Tools Technol. Transf., 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, Felix Klein, Thibaud Michaud, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur, Leander Tentrup

Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017

Assume-admissible synthesis.

Romain Brenguier, Jean-François Raskin, Ocan Sankur

Acta Informatica, 2017

Admissibility in Games with Imperfect Information (Invited Talk).

Romain Brenguier, Arno Pauly, Jean-François Raskin, Ocan Sankur

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results.

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

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

Non-Zero Sum Games for Reactive Synthesis.

Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickael Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas

Proceedings of the Language and Automata Theory and Applications, 2016

Admissibility in Quantitative Graph Games.

Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur

Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

Robust Equilibria in Mean-Payoff Games.

Romain Brenguier

Proceedings of the Foundations of Software Science and Computation Structures, 2016

Optimal Assumptions for Synthesis.

Romain Brenguier

Proceedings of the 27th International Conference on Concurrency Theory, 2016

Decidability Results for Multi-objective Stochastic Games.

Romain Brenguier, Vojtech Forejt

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

The Second Reactive Synthesis Competition (SYNTCOMP 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

Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

Compositional Algorithms for Succinct Safety Games.

Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur

Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

Pure Nash Equilibria in Concurrent Deterministic Games.

Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels

Log. Methods Comput. Sci., 2015

Pareto Curves of Multidimensional Mean-Payoff Games.

Romain Brenguier, Jean-François Raskin

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

AbsSynthe: abstract synthesis from succinct safety specifications.

Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur

Proceedings of the Proceedings 3rd Workshop on Synthesis, 2014

Energy and mean-payoff timed games.

Romain Brenguier, Franck Cassez, Jean-François Raskin

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

The complexity of admissibility in Omega-regular games.

Romain Brenguier, Jean-François Raskin, Mathieu Sassolas

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

Robust Equilibria in Concurrent Games.

Romain Brenguier

CoRR, 2013

PRALINE: A Tool for Computing Nash Equilibria in Concurrent Games.

Romain Brenguier

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

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

Romain Brenguier

PhD thesis, 2012

Concurrent Games with Ordered Objectives.

Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels

Proceedings of the Foundations of Software Science and Computational Structures, 2012

A Comparison of Succinctly Represented Finite-State Systems.

Romain Brenguier, Stefan Göller, Ocan Sankur

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

Nash Equilibria in Concurrent Games with Büchi Objectives.

Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011

2010

Computing Equilibria in Two-Player Timed Games <i>via</i> Turn-Based Finite Games.

Patricia Bouyer, Romain Brenguier, Nicolas Markey

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Nash Equilibria for Reachability Objectives in Multi-player Timed Games.

Patricia Bouyer, Romain Brenguier, Nicolas Markey

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010