TY - RPRT TI - Dynamic Model Predictive Shielding for Provably Safe Reinforcement Learning AU - Arko Banerjee AU - Kia Rahmani AU - Joydeep Biswas AU - Isil Dillig PY - 2024 UR - https://arxiv.org/abs/2405.13863 ID - 2405.13863 ER -