@misc{indiciaee68d3d4697e7,
  title = {Synthesizing Safe Policies under Probabilistic Constraints with Reinforcement Learning and Bayesian Model Checking},
  author = {Lenz Belzner and Martin Wirsing},
  year = {2021},
  url = {https://arxiv.org/abs/2005.03898},
  note = {Source identifier: 2005.03898}
}