Davide Corsi
reinforcement learning
formal methods
safety
risk quantification
formal methods for ai systems
safe ai systems
3
presentations
4
number of views
SHORT BIO
I am Davide Corsi, PhD student from the University of Verona, Italy. My research is mainly focused on Reinforcement Learning applied to safety-critical environments. In particular, I am working on formal methods for the verification of neural networks.
Presentations
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
Luca Marzari and 4 other authors
Exploring Safer Behaviors for Deep Reinforcement Learning
Enrico Marchesini and 2 other authors
Formal Verification of Neural Networks for Safety-Critical Tasks in Deep Reinforcement Learning
Davide Corsi and 2 other authors