Enrico Marchesini
5 papers
· 2021–2024
· 3 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(3)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐣
Hot Topic Early Bird
🐝
Cross-Pollinator
(14)
Conferences
AAAI (2)
ICLR (2)
UAI (1)
Top co-authors
Keywords
formal verification
(2)
neural network verification
(2)
deep reinforcement learning
(2)
constrained optimization
(1)
safe reinforcement learning
(1)
cost function
(1)
evolutionary algorithm
(1)
interval algebra
(1)
probabilistic guarantee
(1)
reachable set
(1)
reachable set analysis
(1)
safety critical system
(1)
violation rate
(1)
evolutionary exploration
(1)
safe mutation
(1)
safe region enumeration
(1)
safe region
(1)
adversarial robustness
(1)
policy optimization
(1)