TY - RPRT TI - Safe Reinforcement Learning via Probabilistic Option Shielding AU - Gian Luca Ascari AU - Isidoro Tamassia AU - Ying Jiao AU - Luc De Raedt AU - Giuseppe Marra PY - 2026 UR - https://arxiv.org/abs/2611.09197 ID - 2611.09197 ER -