| 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 | 108 | 2021 |
| Unifying hyper and epistemic temporal logics L Bozzelli, B Maubert, S Pinchinat International Conference on Foundations of Software Science and Computation …, 2015 | 45 | 2015 |
| Probabilistic strategy logic B Aminof, M Kwiatkowska, B Maubert, A Murano, S Rubin Artificial Intelligence, 2019 | 41 | 2019 |
| Decidability results for ATL* with imperfect information and perfect recall R Berthon, B Maubert, A Murano arXiv preprint arXiv:1805.12582, 2018 | 41 | 2018 |
| 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 | 35 | 2020 |
| On the Impact of Modal Depth in Epistemic Planning. T Charrier, B Maubert, F Schwarzentruber IJCAI, 1030-1036, 2016 | 29 | 2016 |
| 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 |
| Reasoning about knowledge and strategies under hierarchical information B Maubert, A Murano Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 22 | 2018 |
| Strategic reasoning in automated mechanism design B Maubert, M Mittelmann, A Murano, L Perrussel Proceedings of the International Conference on Principles of Knowledge …, 2021 | 21 | 2021 |
| 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 |
| Logical foundations of games with imperfect information: uniform strategies B Maubert Université de Rennes, 2014 | 20 | 2014 |
| Automated synthesis of mechanisms M Mittelmann, B Maubert, A Murano, L Perrussel 31st International Joint Conference on Artificial Intelligence (IJCAI-22 …, 2022 | 18 | 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 | 18 | 2021 |
| 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 |
| Dynamic epistemic logic games with epistemic temporal goals B Maubert, A Murano, S Pinchinat, F Schwarzentruber, S Stranieri ECAI 2020, 155-162, 2020 | 16 | 2020 |
| Reachability games in dynamic epistemic logic B Maubert, S Pinchinat, F Schwarzentruber arXiv preprint arXiv:1905.12422, 2019 | 15 | 2019 |
| Opacity issues in games with imperfect information B Maubert, S Pinchinat, L Bozzelli arXiv preprint arXiv:1106.1233, 2011 | 11 | 2011 |
| Reasoning About Agents That May Know Other Agents' Strategies. F Belardinelli, S Knight, A Lomuscio, B Maubert, A Murano, S Rubin IJCAI, 1787-1793, 2021 | 10 | 2021 |
