Davide Corsi
7 papers · 2021–2025 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🧭 Keyword Pioneer 🌍 Conference Polyglot (5) 🌈 Renaissance Researcher (6) 🌉 Interdisciplinary Bridge
🐝
Cross-Pollinator
(10)
🏆
Keyword Champion
(2)
🔥
Unstoppable
(5)
Conferences
AAAI (3)
ICLR (1)
IJCAI (1)
L4DC (1)
UAI (1)
Top co-authors
Keywords
formal verification
(4)
neural network verification
(3)
safety-critical system
(2)
deep reinforcement learning
(2)
constrained optimization
(1)
discrete mathematics
(1)
safe reinforcement learning
(1)
cost function
(1)
temporal logic
(1)
evolutionary algorithm
(1)
interval algebra
(1)
linear temporal logic
(1)
reactive synthesis
(1)
probabilistic counting
(1)
probabilistic guarantee
(1)
reachable set
(1)
reachable set analysis
(1)
shield synthesis
(1)
safety specification
(1)
safety critical system
(1)
Papers
Realizable Continuous-Space Shields for Safe Reinforcement Learning
L4DC 2025
Shield Synthesis for LTL Modulo Theories
AAAI 2025
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
AAAI 2024
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks
IJCAI 2023
Exploring Safer Behaviors for Deep Reinforcement Learning
AAAI 2022
Genetic Soft Updates for Policy Evolution in Deep Reinforcement Learning
ICLR 2021
Formal verification of neural networks for safety-critical tasks in deep reinforcement learning
UAI 2021