@misc{indiciae36c6e7f45610,
  title = {LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning},
  author = {Hosein Hasanbeig and Daniel Kroening and Alessandro Abate},
  year = {2022},
  url = {https://arxiv.org/abs/2209.10341},
  note = {Source identifier: 2209.10341}
}