@article{verificationguidedshieldingfordeep,
  title = {Verification-Guided Shielding for Deep Reinforcement Learning},
  author = {Davide Corsi and Guy Amir and Andoni Rodriguez and Cesar Sanchez and Guy Katz and Roy Fox},
  year = {2024},
  eprint = {2406.06507},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2406.06507v2},
}