Verifying Online Safety Properties for Safe Deep Reinforcement Learning

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]

Abstract

Abstract is missing.