LM
Luca Marzari
cs.AIcs.LGcs.ROcs.PLcs.SEmath.OCquant-ph
On Valency
published · living versionsW_8kkfkm4n·v1 · currentpublished
Enumeration-Guided Training of Neural Hamilton-Jacobi Safety Certificates
with Mihaela-Larisa Clement, Tosca Pierro, Ezio Bartocci
1 version
Preprints & journals
22 papers in the corpus · 2021–2026Enumeration-Guided Training of Neural Hamilton-Jacobi Safety Certificates2610.27870v1 · Mihaela-Larisa Clement, Tosca Pierro, Ezio Bartocci et al.2026 · 0 citationsarXivon Valency
Certifying Concept Unlearning in Text-to-Image Diffusion Models2609.12163v1 · Mansi, Luca Marzari, Francesco Leofante2026 · 0 citationsarXiv
Probabilistic Verification of Recurrent Neural Networks for Single and Multi-Agent Reinforcement Learning2605.14758v1 · Luca Marzari, Enrico Marchesini2026 · 0 citationsarXiv
A Survey on the Verification of Reinforcement Learning Policies2607.16210v1 · Luca Marzari, Ezio Bartocci, Enrico Marchesini2026 · 0 citationsarXiv
On the Probabilistic Learnability of Compact Neural Network Preimage Bounds2511.11656v1 · Luca Marzari, Manuele Bicego, Ferdinando Cicalese et al.2025 · 1 citationarXiv
Formal Verification of Variational Quantum Circuits2507.10635v1 · Nicola Assolini, Luca Marzari, Isabella Mastroeni et al.2025 · 2 citationsarXiv
Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification2507.05405v2 · Luca Marzari, Ferdinando Cicalese, Alessandro Farinelli2025 · 4 citationsJournal of Artificial Intelligence Research 84, Article 30 (December 2025), 34 pages
Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation2505.05235v1 · Luca Marzari, Isabella Mastroeni, Alessandro Farinelli2025 · 0 citationsarXiv
Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation2504.21643v1 · Luca Marzari, Francesco Trotti, Enrico Marchesini et al.2025 · 3 citationsarXiv
RobustX: Robust Counterfactual Explanations Made Easy2502.13751v1 · Junqi Jiang, Luca Marzari, Aaryan Purohit et al.2025 · 4 citationsarXiv
Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations2407.07482v1 · Luca Marzari, Francesco Leofante, Ferdinando Cicalese et al.2024 · 3 citationsarXiv
ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks2407.01639v2 · Tianhao Wei, Hanjiang Hu, Luca Marzari et al.2024 · 5 citationsarXiv
Improving Policy Optimization via -Retrain2406.08315v2 · Luca Marzari, Priya L. Donti, Changliu Liu et al.2024 · 1 citationarXiv
Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing2312.05890v1 · Luca Marzari, Gabriele Roncolato, Alessandro Farinelli2023 · 0 citationsarXiv
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees2308.09842v2 · Luca Marzari, Davide Corsi, Enrico Marchesini et al.2023 · 6 citationsarXiv
Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation2303.03207v3 · Davide Corsi, Luca Marzari, Ameya Pore et al.2023 · 7 citationsarXiv
Safe Deep Reinforcement Learning by Verifying Task-Level Properties2302.10030v1 · Enrico Marchesini, Luca Marzari, Alessandro Farinelli et al.2023 · 6 citationsarXiv
Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation2302.06695v1 · Luca Marzari, Enrico Marchesini, Alessandro Farinelli2023 · 10 citationsarXiv
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks2301.07068v4 · Luca Marzari, Davide Corsi, Ferdinando Cicalese et al.2023 · 8 citationsarXiv
Verifying Learning-Based Robotic Navigation Systems2205.13536v3 · Guy Amir, Davide Corsi, Raz Yerushalmi et al.2022 · 22 citationsarXiv
Curriculum Learning for Safe Mapless Navigation2112.12490v2 · Luca Marzari, Davide Corsi, Enrico Marchesini et al.2021 · 14 citationsarXiv
Towards Hierarchical Task Decomposition using Deep Reinforcement Learning for Pick and Place Subtasks2102.04022v3 · Luca Marzari, Ameya Pore, Diego Dall'Alba et al.2021 · 34 citationsarXiv
Career total: 33 works. 22 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.