Vadim Malvone

3 papers in the IJCAI proceedings

IJCAI 2025

Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason About Demon Coalitions

with Davide Catta, Jean Leneutre, James Ortiz

doi:10.24963/ijcai.2025/3

Details PDF

IJCAI 2023

Scalable Verification of Strategy Logic through Three-Valued Abstraction

with Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Aniello Murano

doi:10.24963/ijcai.2023/6

Details PDF

IJCAI 2019

Strategy Logic with Simple Goals: Tractable Reasoning about Strategies

with Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Aniello Murano

doi:10.24963/ijcai.2019/13

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings