Luca Marzari

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 22

Top Topics

Formal Verification

Parallel Computing

Reinforcement Learning

Top Venues

Publications

Luca Marzari, Francesco Leofante, Ferdinando Cicalese, Alessandro Farinelli
Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations. CoRR (2024)
Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Ferdinando Cicalese
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees. AAAI (2024)
Tianhao Wei, Luca Marzari, Kai S. Yun, Hanjiang Hu, Peizhi Niu, Xusheng Luo, Changliu Liu
ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks. CoRR (2024)
Luca Marzari, Changliu Liu, Priya L. Donti, Enrico Marchesini
Improving Policy Optimization via ε-Retrain. CoRR (2024)
Federico Bianchi, Davide Corsi, Luca Marzari, Daniele Meli, Francesco Trotti, Maddalena Zuccotto, Alberto Castellini, Alessandro Farinelli
Safe and Efficient Reinforcement Learning for Environmental Monitoring. Ital-IA (2023)
Enrico Marchesini, Luca Marzari, Alessandro Farinelli, Christopher Amato
Safe Deep Reinforcement Learning by Verifying Task-Level Properties. CoRR (2023)
Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz
Verifying Learning-Based Robotic Navigation Systems. TACAS (1) (2023)
Luca Marzari, Enrico Marchesini, Alessandro Farinelli
Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation. CoRR (2023)
Luca Marzari, Davide Corsi, Ferdinando Cicalese, Alessandro Farinelli
The #DNN-Verification problem: Counting Unsafe Inputs for Deep Neural Networks. CoRR (2023)
Davide Corsi, Luca Marzari, Ameya Pore, Alessandro Farinelli, Alicia Casals, Paolo Fiorini, Diego Dall'Alba
Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation. CoRR (2023)
Luca Marzari, Enrico Marchesini, Alessandro Farinelli
Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation. ICRA (2023)
Luca Marzari, Davide Corsi, Ferdinando Cicalese, Alessandro Farinelli
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks. IJCAI (2023)
Davide Corsi, Luca Marzari, Ameya Pore, Alessandro Farinelli, Alicia Casals, Paolo Fiorini, Diego Dall'Alba
Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation. IROS (2023)
Luca Marzari, Gabriele Roncolato, Alessandro Farinelli
Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing (regular paper). AIRO@AI*IA (2023)
Enrico Marchesini, Luca Marzari, Alessandro Farinelli, Christopher Amato
Safe Deep Reinforcement Learning by Verifying Task-Level Properties. AAMAS (2023)
Luca Marzari, Gabriele Roncolato, Alessandro Farinelli
Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing. CoRR (2023)
Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Ferdinando Cicalese
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees. CoRR (2023)
Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli
Curriculum learning for safe mapless navigation. SAC (2022)
Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz
Verifying Learning-Based Robotic Navigation Systems. CoRR (2022)
Luca Marzari, Ameya Pore, Diego Dall'Alba, Gerardo Aragon-Camarasa, Alessandro Farinelli, Paolo Fiorini
Towards Hierarchical Task Decomposition using Deep Reinforcement Learning for Pick and Place Subtasks. ICAR (2021)
Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli
Curriculum Learning for Safe Mapless Navigation. CoRR (2021)
Luca Marzari, Ameya Pore, Diego Dall'Alba, Gerardo Aragon-Camarasa, Alessandro Farinelli, Paolo Fiorini
Towards Hierarchical Task Decomposition using Deep Reinforcement Learning for Pick and Place Subtasks. CoRR (2021)