14 citations · 20 across the 10 of their papers we have counts for
3 papers · 1 filter
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…
Improving Deep Policy Gradients with Value Function Search
Enrico Marchesini, Christopher Amato
Deep Policy Gradient (PG) algorithms employ value networks to drive the learning of parameterized policies and reduce the variance of the gradient estimates. However, value functio…
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…