Marchesini, Enrico

5 publications

AAAI 2024 Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Ferdinando Cicalese

ICLR 2023 Improving Deep Policy Gradients with Value Function Search Enrico Marchesini, Christopher Amato

AAAI 2022 Exploring Safer Behaviors for Deep Reinforcement Learning Enrico Marchesini, Davide Corsi, Alessandro Farinelli

UAI 2021 Formal Verification of Neural Networks for Safety-Critical Tasks in Deep Reinforcement Learning Davide Corsi, Enrico Marchesini, Alessandro Farinelli

ICLR 2021 Genetic Soft Updates for Policy Evolution in Deep Reinforcement Learning Enrico Marchesini, Davide Corsi, Alessandro Farinelli