Follow
Bastien Maubert
Title
Cited by
Cited by
Year
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
1092021
Probabilistic strategy logic
B Aminof, M Kwiatkowska, B Maubert, A Murano, S Rubin
Artificial Intelligence, 2019
502019
Unifying hyper and epistemic temporal logics
L Bozzelli, B Maubert, S Pinchinat
International Conference on Foundations of Software Science and Computation …, 2015
462015
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
422020
Decidability results for ATL* with imperfect information and perfect recall
R Berthon, B Maubert, A Murano
arXiv preprint arXiv:1805.12582, 2018
412018
On the Impact of Modal Depth in Epistemic Planning.
T Charrier, B Maubert, F Schwarzentruber
IJCAI, 1030-1036, 2016
302016
Strategic Reasoning in Automated Mechanism Design.
B Maubert, M Mittelmann, A Murano, L Perrussel
KR, 487-496, 2021
242021
Uniform strategies, rational relations and jumping automata
L Bozzelli, B Maubert, S Pinchinat
Information and Computation 242, 80-107, 2015
242015
Automated synthesis of mechanisms
M Mittelmann, B Maubert, A Murano, L Perrussel
31st International Joint Conference on Artificial Intelligence (IJCAI-22 …, 2022
222022
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
222019
Reasoning about knowledge and strategies under hierarchical information
B Maubert, A Murano
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
222018
Logical foundations of games with imperfect information: uniform strategies
B Maubert
Université de Rennes, 2014
212014
Concurrent games in dynamic epistemic logic
B Maubert, S Pinchinat, F Schwarzentruber, S Stranieri
Proceedings of the Twenty-Ninth International Conference on International …, 2021
202021
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
202015
Generalized DEL-sequents
G Aucher, B Maubert, F Schwarzentruber
European Workshop on Logics in Artificial Intelligence, 54-66, 2012
192012
Dynamic epistemic logic games with epistemic temporal goals
B Maubert, A Murano, S Pinchinat, F Schwarzentruber, S Stranieri
ECAI 2020, 155-162, 2020
182020
Automata techniques for epistemic protocol synthesis
G Aucher, B Maubert, S Pinchinat
arXiv preprint arXiv:1404.0844, 2014
182014
Reachability games in dynamic epistemic logic
B Maubert, S Pinchinat, F Schwarzentruber
arXiv preprint arXiv:1905.12422, 2019
152019
Opacity issues in games with imperfect information
B Maubert, S Pinchinat, L Bozzelli
arXiv preprint arXiv:1106.1233, 2011
112011
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
102021
The system can't perform the operation now. Try again later.
Articles 1–20