Luca Marzari

4 papers in the IJCAI proceedings

IJCAI 2026

A Survey on the Verification of Reinforcement Learning Policies

with Ezio Bartocci, Enrico Marchesini

doi:10.24963/ijcai.2026/883

Details PDF

Probabilistic Verification of Recurrent Neural Networks for Single and Multi-Agent Reinforcement Learning

with Enrico Marchesini

doi:10.24963/ijcai.2026/30

Details PDF

IJCAI 2025

RobustX: Robust Counterfactual Explanations Made Easy

with Junqi Jiang, Aaryan Purohit, Francesco Leofante

doi:10.24963/ijcai.2025/1264

Details PDF

IJCAI 2023

The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks

with Davide Corsi, Ferdinando Cicalese, Alessandro Farinelli

doi:10.24963/ijcai.2023/25

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings