Romain Brenguier : Publications
Click here to download all publications in a single bibtex file
@article{JBBEHKPRRS16, title = "The First Reactive Synthesis Competition {(SYNTCOMP} 2014)", author = "Swen Jacobs and Roderick Bloem and Romain Brenguier and R{\"{u}}diger Ehlers and Timotheus Hell and Robert K{\"{o}}nighofer and Guillermo A. P{\'{e}}rez and Jean{-}Fran{\c{c}}ois Raskin and Leonid Ryzhyk and Ocan Sankur and Martina Seidl and Leander Tentrup and Adam Walker", year = "2016", journal = "International Journal on Software Tools for Technology Transfer (STTT)", url = "http://arxiv.org/abs/1506.08726", volume = "abs/1506.08726", }
@inproceedings{10551, title = "Decidability Results for Multi-objective Stochastic Games", author = "Romain Brenguier and Vojtech Forejt", year = "2016", booktitle = "ATVA 2016", }
@inproceedings{10550, title = "Optimal Assumptions for Synthesis", author = "Romain Brenguier", year = "2016", booktitle = "CONCUR 2016", }
@inproceedings{BCHPRRS16, title = "Non-Zero Sum Games for Reactive Synthesis", author = "Romain Brenguier and Lorenzo Clemente and Paul Hunter and Guillermo A. Pérez and Mickael Randour and Jean-François Raskin and Ocan Sankur and Mathieu Sassolas", year = "2016", booktitle = "LATA", }
@inproceedings{B16, title = "Robust Equilibria in Mean-Payoff Games", author = "Brenguier, Romain", year = "2016", booktitle = "FoSSaCS 2016", }
@article{BBMU15, title = "Pure {N}ash Equilibria in Concurrent Games", author = "Bouyer, Patricia and Brenguier, Romain and Markey, Nicolas and Ummels, Michael", year = "2015", journal = "Logical Methods in Computer Science", month = "jun", number = "2:9", url = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BBMU-lmcs15.pdf", volume = "11", doi = "10.2168/LMCS-11(2:9)2015", }
@inproceedings{BPRS15, title = "Compositional Algorithms for Succinct Safety Games", author = "Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin and Ocan Sankur", year = "2015", booktitle = "SYNT 2015", }
@inproceedings{JBBKPRRSSTW15, title = "The Second Reactive Synthesis Competition (SYNTCOMP 2015)", author = "Jacobs, Swen and Bloem, Roderick and Brenguier, Romain and K\"onighofer, Robert and P\'erez, Guillermo A. and Raskin, Jean-Fran\c{c}ois and Ryzhyk, Leonid and Sankur, Ocan and Seidl, Martina and Tentrup, Leander and Walker, Adam", year = "2015", booktitle = "SYNT 2015", }
@inproceedings{BR15, title = "Pareto Curves of Multidimensional Mean-Payoff Games", author = "Romain Brenguier and Jean{-}Fran{\c{c}}ois Raskin", year = "2015", booktitle = "Computer Aided Verification - 27th International Conference, {CAV} 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part {II}", pages = "251--267", publisher = "Springer", series = "Lecture Notes in Computer Science", url = "http://dx.doi.org/10.1007/978-3-319-21668-3_15", volume = "9207", doi = "10.1007/978-3-319-21668-3_15", }
@inproceedings{BRS15, title = "Assume-Admissible Synthesis", author = "Romain Brenguier and Jean{-}Fran{\c{c}}ois Raskin and Ocan Sankur", year = "2015", booktitle = "26th International Conference on Concurrency Theory, {CONCUR} 2015, Madrid, Spain, September 1.4, 2015", pages = "100--113", url = "http://dx.doi.org/10.4230/LIPIcs.CONCUR.2015.100", doi = "10.4230/LIPIcs.CONCUR.2015.100", }
@inproceedings{BCR14, title = "Energy and Mean-Payoff Timed Games", author = "Brenguier, Romain and Cassez, Franck and Raskin, Jean-Fran{\c{c}}ois", year = "2014", booktitle = "HSCC 2014", month = "apr", }
@inproceedings{BRS14, title = "The complexity of admissibility in Omega-regular games", author = "Romain Brenguier and Jean{-}Fran{\c{c}}ois Raskin and Mathieu Sassolas", year = "2014", booktitle = "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), {CSL-LICS} '14, Vienna, Austria, July 14 - 18, 2014", editor = "Thomas A. Henzinger and Dale Miller", isbn = "978-1-4503-2886-9", pages = "23:1--23:10", publisher = "{ACM}", url = "http://dl.acm.org/citation.cfm?id=2603088", doi = "10.1145/2603088.2603143", }
@inproceedings{BPRS14, title = "AbsSynthe: abstract synthesis from succinct safety specifications", author = "Brenguier, Romain and P{\'e}rez, Guillermo A and Raskin, Jean-Fran{\c{c}}ois and Sankur, Ocan", year = "2014", booktitle = "SYNT 2014", }
@inproceedings{B13, title = "{PRALINE}: A~Tool for Computing {N}ash Equilibria in Concurrent Games", author = "Brenguier, Romain", year = "2013", address = "Saint Petersburg, Russia", booktitle = "{P}roceedings of the 23th {I}nternational {C}onference on {C}omputer {A}ided {V}erification ({CAV}'13)", editor = "Sharygina, Natasha and Veith, Helmut", month = "jul", pages = "890-895", publisher = "Springer", series = "Lecture Notes in Computer Science", url = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/RB-cav13.pdf", volume = "8044", doi = "10.1007/978-3-642-39799-8_63", }
@misc{tacas2013, title = "Praline: A Tool for Computing Nash Equilibria in Concurrent Games", author = "Brenguier, Romain", year = "2013", }
@inproceedings{BGS-concur12, title = "A~Comparison of Succinctly Represented Finite-State Systems", author = "Brenguier, Romain and G{\"o}ller, Stefan and Sankur, Ocan", year = "2012", address = "Newcastle, UK", booktitle = "{P}roceedings of the 23rd {I}nternational {C}onference on {C}oncurrency {T}heory ({CONCUR}'12)", month = "sep", pages = "147-161", publisher = "Springer", series = "Lecture Notes in Computer Science", url = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BGS-concur12.pdf", volume = "7454", doi = "10.1007/978-3-642-32940-1_12", }
@inproceedings{BBMU12, title = "Concurrent games with ordered objectives", author = "Bouyer, Patricia and Brenguier, Romain and Markey, Nicolas and Ummels, Michael", year = "2012", booktitle = "{P}roceedings of the 15th {I}nternational {C}onference on {F}oundations of {S}oftware {S}cience and {C}omputation {S}tructure ({FoSSaCS}'12)", month = "mar", pages = "301-315", publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science", volume = "7213", }
@phdthesis{brenguier-phd2012, title = "{\'E}quilibres de {N}ash dans les Jeux Concurrents~-- {A}pplication aux Jeux Temporis{\'e}s", author = "Brenguier, Romain", year = "2012", school = "Laboratoire Sp{\'e}cification et V{\'e}rification, ENS Cachan, France", }
@inproceedings{BBMU11, title = "{N}ash Equilibria in Concurrent Games with {B}{\"u}chi Objectives", author = "Bouyer, Patricia and Brenguier, Romain and Markey, Nicolas and Ummels, Michael", year = "2011", address = "Mumbai, India", booktitle = "{P}roceedings of the 31st {C}onference on {F}oundations of {S}oftware {T}echnology and {T}heoretical {C}omputer {S}cience ({FSTTCS}'11)", month = "dec", pages = "375-386", publisher = "Leibniz-Zentrum f{\"u}r Informatik", series = "Leibniz International Proceedings in Informatics", volume = "13", }
@inproceedings{BBM-formats10, title = "Computing Equilibria in Two-Player Timed Games {\textit{via}}~Turn-Based Finite Games", author = "Bouyer, Patricia and Brenguier, Romain and Markey, Nicolas", year = "2010", address = "Vienna, Austria", booktitle = "{P}roceedings of the 8th {I}nternational {C}onference on {F}ormal {M}odelling and {A}nalysis of {T}imed {S}ystems ({FORMATS}'10)", month = "sep", pages = "62-76", publisher = "Springer", series = "Lecture Notes in Computer Science", url = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BBM-formats10.pdf", volume = "6246", doi = "10.1007/978-3-642-15297-9_7", }
@inproceedings{BBM10a, title = "{N}ash Equilibria for Reachability Objectives in Multi-player Timed Games", author = "Bouyer, Patricia and Brenguier, Romain and Markey, Nicolas", year = "2010", booktitle = "{P}roceedings of the 21st {I}nternational {C}onference on {C}oncurrency {T}heory ({CONCUR}'10)", month = "sep", pages = "192-206", publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science", volume = "6269", }
@mastersthesis{brenguier-master, title = "Calcul des {\'e}quilibres de {N}ash dans les jeux temporis{\'e}s", author = "Brenguier, Romain", year = "2009", month = "sep", school = "{M}aster {P}arisien de {R}echerche en {I}nformatique, Paris, France", url = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/master-brenguier.pdf", }