@misc{indiciae431fc8d0a877,
  title = {Online Model-free Safety Verification for Markov Decision Processes Without Safety Violation},
  author = {Abhijit Mazumdar and Rafal Wisniewski and Manuela L. Bujorianu},
  year = {2023},
  url = {https://arxiv.org/abs/2312.05243},
  note = {Source identifier: 2312.05243}
}