Luca Marzari
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | On the Probabilistic Learnability of Compact Neural Network Preimage Bounds. | Luca Marzari, Manuele Bicego, Ferdinando Cicalese, Alessandro Farinelli |
| 2025 | CAV | ModelVerification.jl: A Comprehensive Toolbox for Formally Verifying Deep Neural Networks. | Tianhao Wei, Hanjiang Hu, Luca Marzari, Kai S. Yun, Peizhi Niu, Xusheng Luo, Changliu Liu |
| 2025 | ECAI | Advancing Neural Network Verification Through Hierarchical Safety Abstract Interpretation. | Luca Marzari, Isabella Mastroeni, Alessandro Farinelli |
| 2025 | IJCAI | RobustX: Robust Counterfactual Explanations Made Easy. | Junqi Jiang, Luca Marzari, Aaryan Purohit, Francesco Leofante |
| 2024 | AAAI | Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees. | Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Ferdinando Cicalese |
| 2024 | ECAI | Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations. | Luca Marzari, Francesco Leofante, Ferdinando Cicalese, Alessandro Farinelli |
| 2023 | IJCAI | The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks. | Luca Marzari, Davide Corsi, Ferdinando Cicalese, Alessandro Farinelli |
| 2023 | ICRA | Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation. | Luca Marzari, Enrico Marchesini, Alessandro Farinelli |
| 2023 | IROS | Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation. | Davide Corsi, Luca Marzari, Ameya Pore, Alessandro Farinelli, Alicia Casals, Paolo Fiorini, Diego Dall'Alba |
| 2023 | TACAS | Verifying Learning-Based Robotic Navigation Systems. | Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz |
| 2022 | SAC | Curriculum learning for safe mapless navigation. | Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli |