@misc{indiciaec679f6059cc1,
  title = {A Dynamical Systems Framework for Reinforcement Learning Safety and Robustness Verification},
  author = {Ahmed Nasir and Abdelhafid Zenati},
  year = {2025},
  url = {https://arxiv.org/abs/2508.15588},
  note = {Source identifier: 2508.15588}
}