| Pure Nash equilibria in concurrent deterministic games P Bouyer, R Brenguier, N Markey, M Ummels arXiv preprint arXiv:1503.06826, 2015 | 58 | 2015 |
| Pure Nash equilibria in concurrent games PP Bouyer, R Brenguier, NN Markey Logical methods in computer science, 2015 | 58* | 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 | 52 | 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 | 42 | 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, 3-23, 2016 | 42 | 2016 |
| Concurrent games with ordered objectives P Bouyer, R Brenguier, N Markey, M Ummels International Conference on Foundations of Software Science and …, 2012 | 41 | 2012 |
| 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 | 38 | 2017 |
| 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 | 38 | 2011 |
| Nash equilibria for reachability objectives in multi-player timed games P Bouyer, R Brenguier, N Markey International Conference on Concurrency Theory, 192-206, 2010 | 36 | 2010 |
| Assume-admissible synthesis R Brenguier, JF Raskin, O Sankur Acta Informatica 54 (1), 41-83, 2017 | 35 | 2017 |
| PRALINE: A Tool for Computing Nash Equilibria in Concurrent Games R Brenguier International Conference on Computer Aided Verification, 890-895, 2013 | 32 | 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 | 31 | 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 | 31 | 2014 |
| AbsSynthe: abstract synthesis from succinct safety specifications R Brenguier, GA Pérez, JF Raskin, O Sankur arXiv preprint arXiv:1407.5961, 2014 | 27 | 2014 |
| Assume-admissible synthesis R Brenguier, JF Raskin, O Sankur arXiv preprint arXiv:1507.00623, 2015 | 24 | 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 | 21 | 2016 |
| Energy and mean-payoff timed games R Brenguier, F Cassez, JF Raskin Proceedings of the 17th international conference on Hybrid systems …, 2014 | 18 | 2014 |
| Pareto curves of multidimensional mean-payoff games R Brenguier, JF Raskin International Conference on Computer Aided Verification, 251-267, 2015 | 17 | 2015 |
| 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 | 13 | 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 | 11 | 2017 |
