Davide Corsi
9 papers · 2021–2026 · 5 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
🌍 Conference Polyglot · Silver 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (15) 🐣 Hot Topic Early Bird
🏆
Keyword Champion
(3)
🧬
Topic Evolution
🔥
Unstoppable · Bronze
Top co-authors
Research topics
Artificial Intelligence
(6)
Machine Learning
(6)
Reinforcement Learning
(6)
Core AI
(6)
Methods
(6)
Deep Learning
(2)
Application Areas
(2)
Applications
(2)
Learning Types · Deep Learning
(2)
Learning Types · Machine Learning
(2)
Optimization & Theory
(2)
Knowledge & Reasoning
(1)
Mathematics & Optimization
(1)
Mathematics
(1)
Reasoning
(1)
Keywords
formal verification
(5)
deep reinforcement learning
(3)
safety-critical system
(3)
neural network verification
(3)
world model
(2)
safety specification
(2)
safe reinforcement learning
(2)
evolutionary algorithm
(2)
autoregressive model
(1)
policy improvement
(1)
constrained optimization
(1)
discrete mathematics
(1)
policy optimization
(1)
model-based reinforcement learning
(1)
continuous control
(1)
autonomous driving
(1)
temporal logic
(1)
partially observable markov decision process
(1)
cost function
(1)
belief state
(1)
Papers
Adapting World Models with Latent-State Dynamics Residuals
L4DC 2026
Model-Based Reinforcement Learning under Random Observation Delays
L4DC 2026
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
Formal verification of neural networks for safety-critical tasks in deep reinforcement learning
UAI 2021
Genetic Soft Updates for Policy Evolution in Deep Reinforcement Learning
ICLR 2021