Proceedings

Bastien Maubert

Università degli Studi di Napoli "Federico II" , Italy

8 papers in the IJCAI proceedings

IJCAI 2022

Automated Synthesis of Mechanisms
with Munyque Mittelmann, Aniello Murano, Laurent Perrussel
doi:10.24963/ijcai.2022/61
Details PDF

IJCAI 2021

Reasoning About Agents That May Know Other Agents’ Strategies
with Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Aniello Murano, Sasha Rubin
doi:10.24963/ijcai.2021/246
Details PDF

IJCAI 2020

Assume-Guarantee Synthesis for Prompt Linear Temporal Logic
with Nathanaël Fijalkow, Aniello Murano, Moshe Vardi
doi:10.24963/ijcai.2020/17
Details PDF
Concurrent Games in Dynamic Epistemic Logic
with Sophie Pinchinat, Francois Schwarzentruber, Silvia Stranieri
doi:10.24963/ijcai.2020/260
Details PDF

IJCAI 2019

Probabilistic Strategy Logic
with Benjamin Aminof, Marta Kwiatkowska, Aniello Murano, Sasha Rubin
doi:10.24963/ijcai.2019/5
Details PDF
Reachability Games in Dynamic Epistemic Logic
with Sophie Pinchinat, François Schwarzentruber
doi:10.24963/ijcai.2019/71
Details PDF
Reasoning about Quality and Fuzziness of Strategic Behaviours
with Patricia Bouyer, Orna Kupferman, Nicolas Markey, Aniello Murano, Giuseppe Perelli
doi:10.24963/ijcai.2019/220
Details PDF
The Complexity of Model Checking Knowledge and Time
with Laura Bozzelli, Aniello Murano
doi:10.24963/ijcai.2019/221
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards