Marzari, Luca

1. Verifying Learning-Based Robotic Navigation Systems
   2022/05/26 by Guy Amir, Amir, Guy, Davide Corsi +11 · 4 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Machine Learning and Data Classification #Optimization and Control (math.OC) #Robotics (cs.RO)
2. Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
   2023/08/18 by Marzari, Luca, Corsi, Davide, Marchesini, Enrico +2 · 3 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
3. ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
   2024/06/30 by Wei, Tianhao, Hu, Hanjiang, Marzari, Luca +4 · 1 citation
   #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE)
4. Designing Control Barrier Function via Probabilistic Enumeration for Safe Reinforcement Learning Navigation
   2025/04/30 by Marzari, Luca, Trotti, Francesco, Marchesini, Enrico +1 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Robotics (cs.RO)