Catta, Davide

3 publications

IJCAI 2025 Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason About Demon Coalitions Davide Catta, Jean Leneutre, Vadim Malvone, James Ortiz

IJCAI 2025 First-Order Coalition Logic Davide Catta, Rustam Galimullin, Aniello Murano

JAIR 2025 Reasoning About Decidability of Strategic Logics with Imperfect Information and Perfect Recall Strategies Davide Catta, Angelo Ferrando, Vadim Malvone