Davide Corsi
7 papers
· 2021–2025
· 5 conferences
· across top CS/AI conferences
Achievements
🐣
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
Shield Synthesis for LTL Modulo Theories
AAAI 2025