Luca Marzari, Ferdinando Cicalese, Alessandro Farinelli, Christopher Amato, Enrico Marchesini. Verifying Online Safety Properties for Safe Deep Reinforcement Learning. ACM TIST, 17(1), February 2026. [doi]
No references recorded for this publication.
No citations of this publication recorded.