Ferrando, Angelo

2 publications

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

IJCAI 2023 Scalable Verification of Strategy Logic Through Three-Valued Abstraction Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano