Fervari, Raul

2 publications

AAAI 2023 Model-Checking for Ability-Based Logics with Constrained Plans Stéphane Demri, Raul Fervari

IJCAI 2017 Strategically Knowing How Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang