52 citations · 112 across the 27 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2023
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…
cs.LG2021
Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation
Enrico Marchesini, Davide Corsi, Alessandro Farinelli
We propose a novel benchmark environment for Safe Reinforcement Learning focusing on aquatic navigation. Aquatic navigation is an extremely challenging task due to the non-stationa…