Follow
Romain Brenguier
Romain Brenguier
Verified email at cs.ox.ac.uk
Title
Cited by
Cited by
Year
Pure Nash equilibria in concurrent deterministic games
P Bouyer, R Brenguier, N Markey, M Ummels
arXiv preprint arXiv:1503.06826, 2015
592015
Pure Nash equilibria in concurrent games
PP Bouyer, R Brenguier, NN Markey
Logical methods in computer science, 2015
59*2015
The 4th reactive synthesis competition (SYNTCOMP 2017): Benchmarks, participants & results
S Jacobs, N Basset, R Bloem, R Brenguier, M Colange, P Faymonville, ...
arXiv preprint arXiv:1711.11439, 2017
562017
The first reactive synthesis competition (SYNTCOMP 2014)
S Jacobs, R Bloem, R Brenguier, R Ehlers, T Hell, R Könighofer, ...
International journal on software tools for technology transfer 19, 367-390, 2017
462017
Non-zero sum games for reactive synthesis
R Brenguier, L Clemente, P Hunter, GA Pérez, M Randour, JF Raskin, ...
Language and Automata Theory and Applications: 10th International Conference …, 2016
452016
Non-zero sum games for reactive synthesis
R Brenguier, L Clemente, P Hunter, GA Pérez, M Randour, JF Raskin, ...
Language and Automata Theory and Applications: 10th International Conference …, 2016
452016
Concurrent games with ordered objectives
P Bouyer, R Brenguier, N Markey, M Ummels
Foundations of Software Science and Computational Structures: 15th …, 2012
412012
Nash equilibria in concurrent games with Büchi objectives
P Bouyer, R Brenguier, N Markey, M Ummels
Foundations of Software Technology and Theoretical Computer Science, FSTTCS …, 2011
382011
Assume-admissible synthesis
R Brenguier, JF Raskin, O Sankur
Acta Informatica 54, 41-83, 2017
362017
Nash equilibria for reachability objectives in multi-player timed games
P Bouyer, R Brenguier, N Markey
CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010
362010
PRALINE: A Tool for Computing Nash Equilibria in Concurrent Games
R Brenguier
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
332013
The complexity of admissibility in omega-regular games
R Brenguier, JF Raskin, M Sassolas
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
312014
The complexity of admissibility in omega-regular games
R Brenguier, JF Raskin, M Sassolas
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
312014
AbsSynthe: abstract synthesis from succinct safety specifications
R Brenguier, GA Pérez, JF Raskin, O Sankur
arXiv preprint arXiv:1407.5961, 2014
292014
Assume-admissible synthesis
R Brenguier, JF Raskin, O Sankur
arXiv preprint arXiv:1507.00623, 2015
262015
The second reactive synthesis competition (SYNTCOMP 2015)
S Jacobs, R Bloem, R Brenguier, R Könighofer, GA Pérez, JF Raskin, ...
arXiv preprint arXiv:1602.01171, 2016
212016
Energy and mean-payoff timed games
R Brenguier, F Cassez, JF Raskin
Proceedings of the 17th international conference on Hybrid systems …, 2014
202014
Pareto curves of multidimensional mean-payoff games
R Brenguier, JF Raskin
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
182015
Admissibility in Quantitative Graph Games
R Brenguier, GA Pérez, JF Raskin, O Sankur
36th IARCS Annual Conference on Foundations of Software Technology and …, 2016
132016
Compositional Algorithms for Succinct Safety Games
R Brenguier, GA Pérez, JF Raskin, O Sankur
SYNT 2015, 45, 2015
122015
The system can't perform the operation now. Try again later.
Articles 1–20