Davide Corsi's Avatar

Davide Corsi

@dcorsi.bsky.social

πŸŽ“ Postdoctoral Researcher @UCIrvine πŸ€– Artificial Intelligence and Robotics πŸ“ Los Angeles πŸ‡ΊπŸ‡²

5 Followers  |  22 Following  |  1 Posts  |  Joined: 10.12.2024  |  1.6211

Latest posts by dcorsi.bsky.social on Bluesky

Preview
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.

31.12.2024 19:43 β€” πŸ‘ 2    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0

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

01.01.2025 20:47 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

@dcorsi is following 18 prominent accounts