Verification-Guided Shielding for Deep Reinforcement Learning | Read Paper on Bytez