Luca Marzari
- Verifying Learning-Based Robotic Navigation Systems
2022/05/26 by Guy Amir, Davide Corsi, Amir, Guy +11 · 5 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)
- Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
2023/08/18 by Luca Marzari, Davide Corsi, Marzari, Luca +7 · 5 citations
Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Towards Hierarchical Task Decomposition using Deep Reinforcement Learning for Pick and Place Subtasks
2021/02/08 by Luca Marzari, Ameya Pore, Marzari, Luca +9 · 1 citation
Computer Science · Engineering · #FOS: Computer and information sciences #Modular Robots and Swarm Intelligence #Reinforcement Learning in Robotics #Robot Manipulation and Learning #Robotics (cs.RO)
- Improving Policy Optimization via ε-Retrain
2024/06/12 by Luca Marzari, Priya L. Donti, Marzari, Luca +5 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Complexity and Algorithms in Graphs #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Machine Learning and Algorithms
- Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation
2025/05/08 by Luca Marzari, Marzari, Luca, Isabella Mastroeni +3 · 2 citations
Computer Science · Social Sciences · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Ethics and Social Impacts of AI #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences