@misc{indiciae3173367ccb20,
  title = {Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis},
  author = {Rohan Mitta and Hosein Hasanbeig and Jun Wang and Daniel Kroening and Yiannis Kantaros and Alessandro Abate},
  year = {2023},
  url = {https://arxiv.org/abs/2312.11314},
  note = {Source identifier: 2312.11314}
}