@misc{indiciaebfc2fc88d761,
  title = {Data-Driven Robust Safety Verification for Markov Decision Processes},
  author = {Abhijit Mazumdar and Manuela L. Bujorianu and Rafal Wisniewski},
  year = {2025},
  url = {https://arxiv.org/abs/2512.07550},
  note = {Source identifier: 2512.07550}
}