Davide Corsi

Verification-Guided Shielding for Deep Reinforcement Learning In recent years, Deep Reinforcement Learning (DRL) has emerged as an effective approach to solving real-world tasks. However, despite their successes, DRL-based policies suffer from poor reliability, ...

Last in our 2024 research review: control with efficient safety guarantees. Formal verification methods are very slow, but here's a cool trick to use them for safe control, with minimal slowdown and provable safety guarantees.

Thank you for the kind words and support! Excited to continue working together in 2025 on new and exciting projects!