@misc{indiciae800e0d17de2a,
  title = {Learning-based Bounded Synthesis for Semi-MDPs with LTL Specifications},
  author = {Ryohei Oura and Toshimitsu Ushio},
  year = {2022},
  url = {https://arxiv.org/abs/2204.04383},
  note = {Source identifier: 2204.04383}
}