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",
}