@misc{indiciae888b09f7fe18,
  title = {Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning},
  author = {Mengyu Liu and Pengyuan Lu and Xin Chen and Fanxin Kong and Oleg Sokolsky and Insup Lee},
  year = {2023},
  url = {https://arxiv.org/abs/2304.12508},
  note = {Source identifier: 2304.12508}
}