| Pure Nash equilibria in concurrent games PP Bouyer, R Brenguier, NN Markey Logical methods in computer science, 2015 | 76 | 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 | 69 | 2017 |
| 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 | 54 | 2017 |
| 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 | 54 | 2016 |
| Assume-admissible synthesis R Brenguier, JF Raskin, O Sankur Acta Informatica 54, 41-83, 2017 | 45 | 2017 |
| Concurrent games with ordered objectives P Bouyer, R Brenguier, N Markey, M Ummels International Conference on Foundations of Software Science and …, 2012 | 44 | 2012 |
| 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 | 41 | 2011 |
| 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 | 37 | 2014 |
| PRALINE: A tool for computing Nash equilibria in concurrent games R Brenguier International Conference on Computer Aided Verification, 890-895, 2013 | 37 | 2013 |
| Nash equilibria for reachability objectives in multi-player timed games P Bouyer, R Brenguier, N Markey International Conference on Concurrency Theory, 192-206, 2010 | 37 | 2010 |
| Assume-admissible synthesis R Brenguier, JF Raskin, O Sankur arXiv preprint arXiv:1507.00623, 2015 | 32 | 2015 |
| AbsSynthe: abstract synthesis from succinct safety specifications R Brenguier, GA Pérez, JF Raskin, O Sankur arXiv preprint arXiv:1407.5961, 2014 | 32 | 2014 |
| Pareto curves of multidimensional mean-payoff games R Brenguier, JF Raskin International Conference on Computer Aided Verification, 251-267, 2015 | 27 | 2015 |
| Games on graphs N Fijalkow, N Bertrand, P Bouyer-Decitre, R Brenguier, A Carayol, ... arXiv preprint arXiv:2305.10546, 2023 | 26 | 2023 |
| 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 | 26 | 2016 |
| Energy and mean-payoff timed games R Brenguier, F Cassez, JF Raskin Proceedings of the 17th international conference on Hybrid systems …, 2014 | 20 | 2014 |
| 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 | 18 | 2016 |
| Robust equilibria in mean-payoff games R Brenguier International Conference on Foundations of Software Science and Computation …, 2016 | 17 | 2016 |
| 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 | 12 | 2017 |
| Nash equilibria in concurrent games: application to timed games R Brenguier École normale supérieure de Cachan-ENS Cachan, 2012 | 12 | 2012 |
