| 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 | 118 | 2021 |
| Probabilistic strategy logic B Aminof, M Kwiatkowska, B Maubert, A Murano, S Rubin Artificial Intelligence, 2019 | 53 | 2019 |
| Unifying hyper and epistemic temporal logics L Bozzelli, B Maubert, S Pinchinat International Conference on Foundations of Software Science and Computation …, 2015 | 49 | 2015 |
| Reasoning about quality and fuzziness of strategic behaviours P Bouyer, O Kupferman, N Markey, B Maubert, A Murano, G Perelli ECAI 2020, 2887-2888, 2020 | 45 | 2020 |
| Decidability results for ATL* with imperfect information and perfect recall R Berthon, B Maubert, A Murano arXiv preprint arXiv:1805.12582, 2018 | 41 | 2018 |
| On the Impact of Modal Depth in Epistemic Planning. T Charrier, B Maubert, F Schwarzentruber IJCAI, 1030-1036, 2016 | 30 | 2016 |
| Strategic Reasoning in Automated Mechanism Design. B Maubert, M Mittelmann, A Murano, L Perrussel KR, 487-496, 2021 | 28 | 2021 |
| Automated synthesis of mechanisms M Mittelmann, B Maubert, A Murano, L Perrussel 31st International Joint Conference on Artificial Intelligence (IJCAI-22 …, 2022 | 25 | 2022 |
| 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 | 24 | 2019 |
| Uniform strategies, rational relations and jumping automata L Bozzelli, B Maubert, S Pinchinat Information and Computation 242, 80-107, 2015 | 24 | 2015 |
| Concurrent games in dynamic epistemic logic B Maubert, S Pinchinat, F Schwarzentruber, S Stranieri Proceedings of the Twenty-Ninth International Conference on International …, 2021 | 23 | 2021 |
| Reasoning about Knowledge and Strategies under Hierarchical Information. B Maubert, A Murano KR 18, 530-540, 2018 | 23 | 2018 |
| Logical foundations of games with imperfect information: uniform strategies B Maubert Université de Rennes, 2014 | 21 | 2014 |
| Relating paths in transition systems: The fall of the modal mu-calculus C Dima, B Maubert, S Pinchinat International Symposium on Mathematical Foundations of Computer Science, 179-191, 2015 | 20 | 2015 |
| Dynamic epistemic logic games with epistemic temporal goals B Maubert, A Murano, S Pinchinat, F Schwarzentruber, S Stranieri ECAI 2020, 155-162, 2020 | 18 | 2020 |
| Automata techniques for epistemic protocol synthesis G Aucher, B Maubert, S Pinchinat arXiv preprint arXiv:1404.0844, 2014 | 18 | 2014 |
| Generalized DEL-sequents G Aucher, B Maubert, F Schwarzentruber European Workshop on Logics in Artificial Intelligence, 54-66, 2012 | 18 | 2012 |
| Reachability games in dynamic epistemic logic B Maubert, S Pinchinat, F Schwarzentruber arXiv preprint arXiv:1905.12422, 2019 | 15 | 2019 |
| Formal verification of bayesian mechanisms M Mittelmann, B Maubert, A Murano, L Perrussel Proceedings of the AAAI Conference on Artificial Intelligence 37 (10), 11621 …, 2023 | 11 | 2023 |
| Dealing with imperfect information in strategy logic S Knight, B Maubert arXiv preprint arXiv:1908.02488, 2019 | 11 | 2019 |