Dynamic Model Predictive Shielding for Provably Safe Reinforcement Learning - Banerjee, Arko; Rahmani, Kia; Biswas, Joydeep; Dillig, Isil (Advances in Neural Information Processing Systems, 2024)