TY  - RPRT
TI  - Verification-Guided Shielding for Deep Reinforcement Learning
AU  - Davide Corsi
AU  - Guy Amir
AU  - Andoni Rodriguez
AU  - Cesar Sanchez
AU  - Guy Katz
AU  - Roy Fox
PY  - 2024
UR  - https://arxiv.org/abs/2406.06507
ID  - 2406.06507
ER  -