Follow
Romain Brenguier
Romain Brenguier
Verified email at cs.ox.ac.uk
Title
Cited by
Cited by
Year
Pure Nash equilibria in concurrent games
PP Bouyer, R Brenguier, NN Markey
Logical methods in computer science, 2015
692015
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
682017
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
552017
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
522016
Assume-admissible synthesis
R Brenguier, JF Raskin, O Sankur
Acta Informatica 54, 41-83, 2017
432017
Concurrent games with ordered objectives
P Bouyer, R Brenguier, N Markey, M Ummels
International Conference on Foundations of Software Science and …, 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
392011
PRALINE: A tool for computing Nash equilibria in concurrent games
R Brenguier
International Conference on Computer Aided Verification, 890-895, 2013
362013
Nash equilibria for reachability objectives in multi-player timed games
P Bouyer, R Brenguier, N Markey
International Conference on Concurrency Theory, 192-206, 2010
362010
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
352014
AbsSynthe: abstract synthesis from succinct safety specifications
R Brenguier, GA Pérez, JF Raskin, O Sankur
arXiv preprint arXiv:1407.5961, 2014
342014
Assume-admissible synthesis
R Brenguier, JF Raskin, O Sankur
arXiv preprint arXiv:1507.00623, 2015
282015
Pareto curves of multidimensional mean-payoff games
R Brenguier, JF Raskin
International Conference on Computer Aided Verification, 251-267, 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
252016
Energy and mean-payoff timed games
R Brenguier, F Cassez, JF Raskin
Proceedings of the 17th international conference on Hybrid systems …, 2014
192014
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
172016
Robust equilibria in mean-payoff games
R Brenguier
International Conference on Foundations of Software Science and Computation …, 2016
152016
Compositional Algorithms for Succinct Safety Games
R Brenguier, GA Pérez, JF Raskin, O Sankur
SYNT 2015, 45, 2015
132015
Admissibility in games with imperfect information
R Brenguier, A Pauly, JF Raskin, O Sankur
CONCUR 2017-28th International Conference on Concurrency Theory 85, 2: 1-2: 23, 2017
122017
Games on graphs
N Fijalkow, N Bertrand, P Bouyer-Decitre, R Brenguier, A Carayol, ...
arXiv preprint arXiv:2305.10546, 2023
112023
The system can't perform the operation now. Try again later.
Articles 1–20