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
472015
Pure Nash equilibria in concurrent games
PP Bouyer, R Brenguier, NN Markey
Logical methods in computer science, 2015
47*2015
Concurrent games with ordered objectives
P Bouyer, R Brenguier, N Markey, M Ummels
International Conference on Foundations of Software Science and …, 2012
392012
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
342011
Nash equilibria for reachability objectives in multi-player timed games
P Bouyer, R Brenguier, N Markey
International Conference on Concurrency Theory, 192-206, 2010
322010
PRALINE: A Tool for Computing Nash Equilibria in Concurrent Games
R Brenguier
International Conference on Computer Aided Verification, 890-895, 2013
302013
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
282017
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 (3), 367-390, 2017
262017
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, 3-23, 2016
242016
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, 3-23, 2016
242016
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
232014
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
232014
Assume-admissible synthesis
R Brenguier, JF Raskin, O Sankur
Acta Informatica 54 (1), 41-83, 2017
212017
AbsSynthe: abstract synthesis from succinct safety specifications
R Brenguier, GA Pérez, JF Raskin, O Sankur
arXiv preprint arXiv:1407.5961, 2014
202014
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
192016
Assume-admissible synthesis
R Brenguier, JF Raskin, O Sankur
arXiv preprint arXiv:1507.00623, 2015
192015
Energy and mean-payoff timed games
R Brenguier, F Cassez, JF Raskin
Proceedings of the 17th international conference on Hybrid systems …, 2014
132014
Pareto curves of multidimensional mean-payoff games
R Brenguier, JF Raskin
International Conference on Computer Aided Verification, 251-267, 2015
122015
Nash equilibria in concurrent games: application to timed games
R Brenguier
École normale supérieure de Cachan-ENS Cachan, 2012
112012
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
102016
The system can't perform the operation now. Try again later.
Articles 1–20