IR
Anthology
Community
Enrico
Marchesini
2026
doi
dblp
Verifying Online Safety Properties for Safe Deep Reinforcement Learning.
Luca Marzari
|
Ferdinando Cicalese
|
Alessandro Farinelli
|
Christopher Amato
|
Enrico Marchesini
ACM Transactions on Intelligent Systems and Technology (TIST) 2026 Volume 17 Issue 1