@misc{indiciae2a4c4bdefa05,
  title = {Verified Safe Reinforcement Learning for Neural Network Dynamic Models},
  author = {Junlin Wu and Huan Zhang and Yevgeniy Vorobeychik},
  year = {2024},
  url = {https://arxiv.org/abs/2405.15994},
  note = {Source identifier: 2405.15994}
}