Maubert, Bastien

10 publications

AAAI 2023 Formal Verification of Bayesian Mechanisms Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel

IJCAI 2022 Automated Synthesis of Mechanisms Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel

IJCAI 2021 Reasoning About Agents That May Know Other Agents' Strategies Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin

IJCAI 2020 Assume-Guarantee Synthesis for Prompt Linear Temporal Logic Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Moshe Y. Vardi

IJCAI 2020 Concurrent Games in Dynamic Epistemic Logic Bastien Maubert, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri

IJCAI 2019 Probabilistic Strategy Logic Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin

IJCAI 2019 Reachability Games in Dynamic Epistemic Logic Bastien Maubert, Sophie Pinchinat, François Schwarzentruber

IJCAI 2019 Reasoning About Quality and Fuzziness of Strategic Behaviours Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli

IJCAI 2019 The Complexity of Model Checking Knowledge and Time Laura Bozzelli, Bastien Maubert, Aniello Murano

IJCAI 2016 On the Impact of Modal Depth in Epistemic Planning Tristan Charrier, Bastien Maubert, François Schwarzentruber