Malvone, Vadim

7 publications

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

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

AAAI 2023 Automatically Verifying Expressive Epistemic Properties of Programs Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona

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

JAIR 2022 Approximating Perfect Recall When Model Checking Strategic Abilities: Theory and Applications Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone, Emily Yu

AAAI 2019 An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone

IJCAI 2019 Strategy Logic with Simple Goals: Tractable Reasoning About Strategies Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano