Raimondi, Franco

4 publications

ECML-PKDD 2025 MAINLE: A Multi-Agent, Interactive, Natural Language Local Explainer of Classification Tasks Paulo Bruno S. Serafim, Rômulo Férrer Filho, Stenio Freitas, Gizem Gezici, Fosca Giannotti, Franco Raimondi, Alexandre Santos

IJCAI 2017 A Novel Symbolic Approach to Verifying Epistemic Properties of Programs Nikos Gorogiannis, Franco Raimondi, Ioana Boureanu

IJCAI 2015 Symbolic Model Checking for One-Resource RB+-ATL Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi

IJCAI 2007 Automatic Verification of Knowledge and Time with NuSMV Alessio Lomuscio, Charles Pecheur, Franco Raimondi