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 | 109 | 2021 |
Probabilistic strategy logic B Aminof, M Kwiatkowska, B Maubert, A Murano, S Rubin Artificial Intelligence, 2019 | 50 | 2019 |
Unifying hyper and epistemic temporal logics L Bozzelli, B Maubert, S Pinchinat International Conference on Foundations of Software Science and Computation …, 2015 | 46 | 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 | 42 | 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 | 24 | 2021 |
Uniform strategies, rational relations and jumping automata L Bozzelli, B Maubert, S Pinchinat Information and Computation 242, 80-107, 2015 | 24 | 2015 |
Automated synthesis of mechanisms M Mittelmann, B Maubert, A Murano, L Perrussel 31st International Joint Conference on Artificial Intelligence (IJCAI-22 …, 2022 | 22 | 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 | 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 |
Logical foundations of games with imperfect information: uniform strategies B Maubert Université de Rennes, 2014 | 21 | 2014 |
Concurrent games in dynamic epistemic logic B Maubert, S Pinchinat, F Schwarzentruber, S Stranieri Proceedings of the Twenty-Ninth International Conference on International …, 2021 | 20 | 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 |
Generalized DEL-sequents G Aucher, B Maubert, F Schwarzentruber European Workshop on Logics in Artificial Intelligence, 54-66, 2012 | 19 | 2012 |
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 |
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 |