TY - RPRT TI - Safe Reinforcement Learning via Probabilistic Logic Shields AU - Wen-Chi Yang AU - Giuseppe Marra AU - Gavin Rens AU - Luc De Raedt PY - 2023 UR - https://arxiv.org/abs/2303.03226 ID - 2303.03226 ER -