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
1062021
Decidability results for ATL* with imperfect information and perfect recall
R Berthon, B Maubert, A Murano
arXiv preprint arXiv:1805.12582, 2018
412018
Unifying hyper and epistemic temporal logics
L Bozzelli, B Maubert, S Pinchinat
International Conference on Foundations of Software Science and Computation …, 2015
412015
Probabilistic strategy logic
B Aminof, M Kwiatkowska, B Maubert, A Murano, S Rubin
Artificial Intelligence, 2019
392019
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
32*2019
On the Impact of Modal Depth in Epistemic Planning.
T Charrier, B Maubert, F Schwarzentruber
IJCAI, 1030-1036, 2016
302016
Uniform strategies, rational relations and jumping automata
L Bozzelli, B Maubert, S Pinchinat
Information and Computation 242, 80-107, 2015
242015
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
Strategic reasoning in automated mechanism design
B Maubert, M Mittelmann, A Murano, L Perrussel
Proceedings of the International Conference on Principles of Knowledge …, 2021
212021
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
Automata techniques for epistemic protocol synthesis
G Aucher, B Maubert, S Pinchinat
arXiv preprint arXiv:1404.0844, 2014
192014
Logical foundations of games with imperfect information: uniform strategies
B Maubert
Université de Rennes, 2014
192014
Concurrent games in dynamic epistemic logic
B Maubert, S Pinchinat, F Schwarzentruber, S Stranieri
Proceedings of the Twenty-Ninth International Conference on International …, 2021
182021
Generalized DEL-sequents
G Aucher, B Maubert, F Schwarzentruber
European Workshop on Logics in Artificial Intelligence, 54-66, 2012
182012
Automated synthesis of mechanisms
M Mittelmann, B Maubert, A Murano, L Perrussel
31st International Joint Conference on Artificial Intelligence (IJCAI-22 …, 2022
172022
Dynamic epistemic logic games with epistemic temporal goals
B Maubert, A Murano, S Pinchinat, F Schwarzentruber, S Stranieri
arXiv preprint arXiv:2001.07141, 2020
162020
Reachability games in dynamic epistemic logic
B Maubert, S Pinchinat, F Schwarzentruber
arXiv preprint arXiv:1905.12422, 2019
142019
Opacity issues in games with imperfect information
B Maubert, S Pinchinat, L Bozzelli
arXiv preprint arXiv:1106.1233, 2011
122011
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