Romain Brenguier
Romain Brenguier
Verifisert e-postadresse på cs.ox.ac.uk
Tittel
Sitert av
Sitert av
År
Pure Nash equilibria in concurrent deterministic games
P Bouyer, R Brenguier, N Markey, M Ummels
arXiv preprint arXiv:1503.06826, 2015
542015
Pure Nash equilibria in concurrent games
PP Bouyer, R Brenguier, NN Markey
Logical methods in computer science, 2015
54*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
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
382011
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
352016
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
352016
Nash equilibria for reachability objectives in multi-player timed games
P Bouyer, R Brenguier, N Markey
International Conference on Concurrency Theory, 192-206, 2010
352010
Assume-admissible synthesis
R Brenguier, JF Raskin, O Sankur
Acta Informatica 54 (1), 41-83, 2017
332017
PRALINE: A Tool for Computing Nash Equilibria in Concurrent Games
R Brenguier
International Conference on Computer Aided Verification, 890-895, 2013
312013
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
302017
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
302014
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
302014
AbsSynthe: abstract synthesis from succinct safety specifications
R Brenguier, GA Pérez, JF Raskin, O Sankur
arXiv preprint arXiv:1407.5961, 2014
252014
Assume-admissible synthesis
R Brenguier, JF Raskin, O Sankur
arXiv preprint arXiv:1507.00623, 2015
232015
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
202016
Energy and mean-payoff timed games
R Brenguier, F Cassez, JF Raskin
Proceedings of the 17th international conference on Hybrid systems …, 2014
152014
Pareto curves of multidimensional mean-payoff games
R Brenguier, JF Raskin
International Conference on Computer Aided Verification, 251-267, 2015
132015
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
122016
Compositional Algorithms for Succinct Safety Games
R Brenguier, GA Pérez, JF Raskin, O Sankur
SYNT 2015, 45, 2015
112015
Systemet kan ikke utføre handlingen. Prøv igjen senere.
Artikler 1–20