| Pure Nash equilibria in concurrent deterministic games P Bouyer, R Brenguier, N Markey, M Ummels arXiv preprint arXiv:1503.06826, 2015 | 63 | 2015 |
| Pure Nash equilibria in concurrent games PP Bouyer, R Brenguier, NN Markey Logical methods in computer science, 2015 | 63* | 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 | 58 | 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: 10th International Conference …, 2016 | 48 | 2016 |
| 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: 10th International Conference …, 2016 | 48 | 2016 |
| 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 | 47 | 2017 |
| Concurrent games with ordered objectives P Bouyer, R Brenguier, N Markey, M Ummels Foundations of Software Science and Computational Structures: 15th …, 2012 | 42 | 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 | 42 | 2011 |
| Assume-admissible synthesis R Brenguier, JF Raskin, O Sankur Acta Informatica 54, 41-83, 2017 | 37 | 2017 |
| Nash equilibria for reachability objectives in multi-player timed games P Bouyer, R Brenguier, N Markey CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010 | 37 | 2010 |
| PRALINE: A Tool for Computing Nash Equilibria in Concurrent Games R Brenguier Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 35 | 2013 |
| 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 | 33 | 2014 |
| 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 | 33 | 2014 |
| AbsSynthe: abstract synthesis from succinct safety specifications R Brenguier, GA Pérez, JF Raskin, O Sankur arXiv preprint arXiv:1407.5961, 2014 | 32 | 2014 |
| Assume-admissible synthesis R Brenguier, JF Raskin, O Sankur arXiv preprint arXiv:1507.00623, 2015 | 26 | 2015 |
| 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 | 22 | 2016 |
| Pareto curves of multidimensional mean-payoff games R Brenguier, JF Raskin Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 21 | 2015 |
| 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 | 14 | 2016 |
| Compositional Algorithms for Succinct Safety Games R Brenguier, GA Pérez, JF Raskin, O Sankur SYNT 2015, 45, 2015 | 12 | 2015 |
