14 citations · 25 across the 16 of their papers we have counts for
6 papers · 1 filter
Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing
Luca Marzari, Gabriele Roncolato, Alessandro Farinelli
Deep Neural Networks (DNNs) are powerful tools that have shown extraordinary results in many scenarios, ranging from pattern recognition to complex robotic problems. However, their…
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
Luca Marzari, Davide Corsi, Enrico Marchesini +2
Identifying safe areas is a key point to guarantee trust for systems that are based on Deep Neural Networks (DNNs). To this end, we introduce the AllDNN-Verification problem: given…
Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation
Davide Corsi, Luca Marzari, Ameya Pore +4
The field of robotic Flexible Endoscopes (FEs) has progressed significantly, offering a promising solution to reduce patient discomfort. However, the limited autonomy of most robot…
Safe Deep Reinforcement Learning by Verifying Task-Level Properties
Enrico Marchesini, Luca Marzari, Alessandro Farinelli +1
Cost functions are commonly employed in Safe Deep Reinforcement Learning (DRL). However, the cost is typically encoded as an indicator function due to the difficulty of quantifying…
Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation
Luca Marzari, Enrico Marchesini, Alessandro Farinelli
Safety is essential for deploying Deep Reinforcement Learning (DRL) algorithms in real-world scenarios. Recently, verification approaches have been proposed to allow quantifying th…
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks
Luca Marzari, Davide Corsi, Ferdinando Cicalese +1
Deep Neural Networks are increasingly adopted in critical tasks that require a high level of safety, e.g., autonomous driving. While state-of-the-art verifiers can be employed to c…