Enrico Marchesini
5 papers · 2021–2024 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
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)
Papers
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
AAAI 2024
Improving Deep Policy Gradients with Value Function Search
ICLR 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