PPaperPicks

Davide Corsi

3 papers at tracked venues · 2 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2KR ×1

Frequent coauthors

Andoni Rodríguez
×2
César Sánchez
×2
Irfansha Shaik
×1
Roy Fox
×1
Guy Amir
×1
Guy Katz
×1
Luca Marzari
×1
Enrico Marchesini
×1
Alessandro Farinelli
×1
Ferdinando Cicalese
×1

Papers

  1. Explanations for Unrealizability of Infinite-State Safety Shields
    KR 2025 ·
    Andoni Rodríguez
    ,
    Irfansha Shaik
    , Davide Corsi,
    Roy Fox
    ,
    César Sánchez
  2. Shield Synthesis for LTL Modulo Theories
    AAAI 2025 ·
    Andoni Rodríguez
    ,
    Guy Amir
    , Davide Corsi,
    César Sánchez
    ,
    Guy Katz
  3. Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
    AAAI 2024 ·
    Luca Marzari
    , Davide Corsi,
    Enrico Marchesini
    ,
    Alessandro Farinelli
    ,
    Ferdinando Cicalese