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
Logical methods in computer science 11, 2015
682015
Pure Nash equilibria in concurrent games
PP Bouyer, R Brenguier, NN Markey
Logical methods in computer science, 2015
682015
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
662017
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
532017
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
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
422012
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
Nash equilibria for reachability objectives in multi-player timed games
P Bouyer, R Brenguier, N Markey
International Conference on Concurrency Theory, 192-206, 2010
372010
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
362014
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
362014
PRALINE: A tool for computing Nash equilibria in concurrent games
R Brenguier
International Conference on Computer Aided Verification, 890-895, 2013
352013
AbsSynthe: abstract synthesis from succinct safety specifications
R Brenguier, GA Pérez, JF Raskin, O Sankur
arXiv preprint arXiv:1407.5961, 2014
332014
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
162016
Robust equilibria in mean-payoff games
R Brenguier
International Conference on Foundations of Software Science and Computation …, 2016
132016
The system can't perform the operation now. Try again later.
Articles 1–20