#IJCAI2023 distinguished paper – Safe reinforcement learning via probabilistic logic shields