Pure Nash equilibria in concurrent games PP Bouyer, R Brenguier, NN Markey Logical methods in computer science, 2015 | 71 | 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 | 55 | 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 | 52 | 2016 |
Assume-admissible synthesis R Brenguier, JF Raskin, O Sankur Acta Informatica 54, 41-83, 2017 | 43 | 2017 |
Concurrent games with ordered objectives P Bouyer, R Brenguier, N Markey, M Ummels International Conference on Foundations of Software Science and …, 2012 | 43 | 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 | 40 | 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 | 38 | 2014 |
PRALINE: A tool for computing Nash equilibria in concurrent games R Brenguier International Conference on Computer Aided Verification, 890-895, 2013 | 38 | 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 | 36 | 2010 |
AbsSynthe: abstract synthesis from succinct safety specifications R Brenguier, GA Pérez, JF Raskin, O Sankur arXiv preprint arXiv:1407.5961, 2014 | 34 | 2014 |
Assume-admissible synthesis R Brenguier, JF Raskin, O Sankur arXiv preprint arXiv:1507.00623, 2015 | 30 | 2015 |
Pareto curves of multidimensional mean-payoff games R Brenguier, JF Raskin International Conference on Computer Aided Verification, 251-267, 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 | 25 | 2016 |
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 | 19 | 2016 |
Energy and mean-payoff timed games R Brenguier, F Cassez, JF Raskin Proceedings of the 17th international conference on Hybrid systems …, 2014 | 19 | 2014 |
Games on graphs N Fijalkow, N Bertrand, P Bouyer-Decitre, R Brenguier, A Carayol, ... arXiv preprint arXiv:2305.10546, 2023 | 18 | 2023 |
Robust equilibria in mean-payoff games R Brenguier International Conference on Foundations of Software Science and Computation …, 2016 | 17 | 2016 |
Compositional Algorithms for Succinct Safety Games R Brenguier, GA Pérez, JF Raskin, O Sankur SYNT 2015, 45, 2015 | 13 | 2015 |
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 |