@misc{indiciae377a9b65ac84,
  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},
  url = {https://arxiv.org/abs/2406.06507},
  note = {Source identifier: 2406.06507}
}