Luca Marzari

41 papers A* 5A 5Misc 1Journal 22Unranked 8
YearRankTypeTitle / Venue / Authors
2026 A* conf
On the Probabilistic Learnability of Compact Neural Network Preimage Bounds.
AAAI
Luca Marzari, Manuele Bicego, Ferdinando Cicalese, Alessandro Farinelli
2026 J jnl
Probabilistically robust counterfactual explanations under model changes.
Artif. Intell.
Luca Marzari, Francesco Leofante, Ferdinando Cicalese, Alessandro Farinelli
2026 J jnl
Verifying Online Safety Properties for Safe Deep Reinforcement Learning.
ACM Trans. Intell. Syst. Technol.
Luca Marzari, Ferdinando Cicalese, Alessandro Farinelli, Christopher Amato, Enrico Marchesini
2025 A conf
Advancing Neural Network Verification Through Hierarchical Safety Abstract Interpretation.
ECAI
Luca Marzari, Isabella Mastroeni, Alessandro Farinelli
2025 J jnl
Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation.
CoRR
Luca Marzari, Isabella Mastroeni, Alessandro Farinelli
2025 J jnl
Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation.
CoRR
Luca Marzari, Francesco Trotti, Enrico Marchesini, Alessandro Farinelli
2025 J jnl
Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation.
IEEE Robotics Autom. Lett.
Luca Marzari, Francesco Trotti, Enrico Marchesini, Alessandro Farinelli
2025 — conf
Enhancing safety and explainability of reinforcement learning agents for environmental monitoring tasks.
Ital-IA
Luca Marzari, Francesco Trotti, Francesco Dal Santo, Amirhossein Zhalehmehrabi, Celeste Veronese, Davide Villaboni, Federico Bianchi, Daniele Meli, Alberto Castellini, Alessandro Farinelli
2025 — conf
Explaining reinforcement learning policies for power grid operations.
Ital-IA
Luca Marzari, Francesco Leofante, Enrico Marchesini
2025 J jnl
Formal Verification of Variational Quantum Circuits.
CoRR
Nicola Assolini, Luca Marzari, Isabella Mastroeni, Alessandra Di Pierro
2025 A conf
Improving Policy Optimization via ε-Retrain.
AAMAS
Luca Marzari, Priya L. Donti, Changliu Liu, Enrico Marchesini
2025 — conf
ModelVerification.jl: A Comprehensive Toolbox for Formally Verifying Deep Neural Networks.
CAV (2)
Tianhao Wei, Hanjiang Hu, Luca Marzari, Kai S. Yun, Peizhi Niu, Xusheng Luo, Changliu Liu
2025 J jnl
On the Probabilistic Learnability of Compact Neural Network Preimage Bounds.
CoRR
Luca Marzari, Manuele Bicego, Ferdinando Cicalese, Alessandro Farinelli
2025 J jnl
Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification.
CoRR
Luca Marzari, Ferdinando Cicalese, Alessandro Farinelli
2025 J jnl
Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification.
J. Artif. Intell. Res.
Luca Marzari, Ferdinando Cicalese, Alessandro Farinelli
2025 A* conf
RobustX: Robust Counterfactual Explanations Made Easy.
IJCAI
Junqi Jiang, Luca Marzari, Aaryan Purohit, Francesco Leofante
2025 J jnl
RobustX: Robust Counterfactual Explanations Made Easy.
CoRR
Junqi Jiang, Luca Marzari, Aaryan Purohit, Francesco Leofante
2024 — conf
Developing safe and explainable autonomous agents: from simulation to the real world.
Ital-IA
Federico Bianchi, Alberto Castellini, Alessandro Farinelli, Luca Marzari, Daniele Meli, Francesco Trotti, Celeste Veronese
2024 A* conf
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees.
AAAI
Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Ferdinando Cicalese
2024 J jnl
Improving Policy Optimization via ε-Retrain.
CoRR
Luca Marzari, Changliu Liu, Priya L. Donti, Enrico Marchesini
2024 J jnl
ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks.
CoRR
Tianhao Wei, Luca Marzari, Kai S. Yun, Hanjiang Hu, Peizhi Niu, Xusheng Luo, Changliu Liu
2024 A conf
Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations.
ECAI
Luca Marzari, Francesco Leofante, Ferdinando Cicalese, Alessandro Farinelli
2024 J jnl
Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations.
CoRR
Luca Marzari, Francesco Leofante, Ferdinando Cicalese, Alessandro Farinelli
2023 A conf
Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation.
IROS
Davide Corsi, Luca Marzari, Ameya Pore, Alessandro Farinelli, Alicia Casals, Paolo Fiorini, Diego Dall'Alba
2023 J jnl
Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation.
CoRR
Davide Corsi, Luca Marzari, Ameya Pore, Alessandro Farinelli, Alicia Casals, Paolo Fiorini, Diego Dall'Alba
2023 J jnl
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees.
CoRR
Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Ferdinando Cicalese
2023 A* conf
Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation.
ICRA
Luca Marzari, Enrico Marchesini, Alessandro Farinelli
2023 J jnl
Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation.
CoRR
Luca Marzari, Enrico Marchesini, Alessandro Farinelli
2023 A conf
Safe Deep Reinforcement Learning by Verifying Task-Level Properties.
AAMAS
Enrico Marchesini, Luca Marzari, Alessandro Farinelli, Christopher Amato
2023 J jnl
Safe Deep Reinforcement Learning by Verifying Task-Level Properties.
CoRR
Enrico Marchesini, Luca Marzari, Alessandro Farinelli, Christopher Amato
2023 — conf
Safe and Efficient Reinforcement Learning for Environmental Monitoring.
Ital-IA
Federico Bianchi, Davide Corsi, Luca Marzari, Daniele Meli, Francesco Trotti, Maddalena Zuccotto, Alberto Castellini, Alessandro Farinelli
2023 — conf
Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing (regular paper).
AIRO@AI*IA
Luca Marzari, Gabriele Roncolato, Alessandro Farinelli
2023 J jnl
Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing.
CoRR
Luca Marzari, Gabriele Roncolato, Alessandro Farinelli
2023 A* conf
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks.
IJCAI
Luca Marzari, Davide Corsi, Ferdinando Cicalese, Alessandro Farinelli
2023 J jnl
The #DNN-Verification problem: Counting Unsafe Inputs for Deep Neural Networks.
CoRR
Luca Marzari, Davide Corsi, Ferdinando Cicalese, Alessandro Farinelli
2023 — conf
Verifying Learning-Based Robotic Navigation Systems.
TACAS (1)
Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz
2022 Misc conf
Curriculum learning for safe mapless navigation.
SAC
Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli
2022 J jnl
Verifying Learning-Based Robotic Navigation Systems.
CoRR
Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz
2021 J jnl
Curriculum Learning for Safe Mapless Navigation.
CoRR
Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli
2021 — conf
Towards Hierarchical Task Decomposition using Deep Reinforcement Learning for Pick and Place Subtasks.
ICAR
Luca Marzari, Ameya Pore, Diego Dall'Alba, Gerardo Aragon-Camarasa, Alessandro Farinelli, Paolo Fiorini
2021 J jnl
Towards Hierarchical Task Decomposition using Deep Reinforcement Learning for Pick and Place Subtasks.
CoRR
Luca Marzari, Ameya Pore, Diego Dall'Alba, Gerardo Aragon-Camarasa, Alessandro Farinelli, Paolo Fiorini