| Strategy logic with imperfect information R Berthon, B Maubert, A Murano, S Rubin, MY Vardi ACM Transactions on Computational Logic (TOCL) 22 (1), 1-51, 2021 | 100 | 2021 |
| Decidability results for ATL* with imperfect information and perfect recall R Berthon, B Maubert, A Murano arXiv preprint arXiv:1805.12582, 2018 | 37 | 2018 |
| Unifying hyper and epistemic temporal logics L Bozzelli, B Maubert, S Pinchinat International Conference on Foundations of Software Science and Computation …, 2015 | 35 | 2015 |
| Probabilistic strategy logic B Aminof, M Kwiatkowska, B Maubert, A Murano, S Rubin Artificial Intelligence, 2019 | 33 | 2019 |
| On the Impact of Modal Depth in Epistemic Planning. T Charrier, B Maubert, F Schwarzentruber IJCAI, 1030-1036, 2016 | 31 | 2016 |
| Reasoning about quality and fuzziness of strategic behaviours P Bouyer, O Kupferman, N Markey, B Maubert, A Murano, G Perelli arXiv preprint arXiv:1905.11537, 2019 | 23* | 2019 |
| Uniform strategies, rational relations and jumping automata L Bozzelli, B Maubert, S Pinchinat Information and Computation 242, 80-107, 2015 | 23 | 2015 |
| Reasoning about knowledge and messages in asynchronous multi-agent systems S Knight, B Maubert, F Schwarzentruber Mathematical Structures in Computer Science 29 (1), 127-168, 2019 | 22 | 2019 |
| Relating paths in transition systems: The fall of the modal mu-calculus C Dima, B Maubert, S Pinchinat Mathematical Foundations of Computer Science 2015: 40th International …, 2015 | 20 | 2015 |
| Automata techniques for epistemic protocol synthesis G Aucher, B Maubert, S Pinchinat arXiv preprint arXiv:1404.0844, 2014 | 19 | 2014 |
| Logical foundations of games with imperfect information: uniform strategies B Maubert Université Rennes 1, 2014 | 19 | 2014 |
| Reasoning about knowledge and strategies under hierarchical information B Maubert, A Murano Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 18 | 2018 |
| Generalized DEL-sequents G Aucher, B Maubert, F Schwarzentruber European Workshop on Logics in Artificial Intelligence, 54-66, 2012 | 17 | 2012 |
| Strategic reasoning in automated mechanism design B Maubert, M Mittelmann, A Murano, L Perrussel Proceedings of the International Conference on Principles of Knowledge …, 2021 | 15 | 2021 |
| Dynamic epistemic logic games with epistemic temporal goals B Maubert, A Murano, S Pinchinat, F Schwarzentruber, S Stranieri arXiv preprint arXiv:2001.07141, 2020 | 14 | 2020 |
| Reachability games in dynamic epistemic logic B Maubert, S Pinchinat, F Schwarzentruber arXiv preprint arXiv:1905.12422, 2019 | 14 | 2019 |
| Automated synthesis of mechanisms M Mittelmann, B Maubert, A Murano, L Perrussel 31st International Joint Conference on Artificial Intelligence (IJCAI-22 …, 2022 | 13 | 2022 |
| Concurrent games in dynamic epistemic logic B Maubert, S Pinchinat, F Schwarzentruber, S Stranieri Proceedings of the Twenty-Ninth International Conference on International …, 2021 | 13 | 2021 |
| Jumping automata for uniform strategies B Maubert, S Pinchinat IARCS Annual Conference on Foundations of Software Technology and …, 2013 | 10 | 2013 |
| Dealing with imperfect information in strategy logic S Knight, B Maubert arXiv preprint arXiv:1908.02488, 2019 | 9 | 2019 |
