@misc{indiciae34a02579b4f4,
  title = {Neuro-Symbolic Reinforcement Learning with First-Order Logic},
  author = {Daiki Kimura and Masaki Ono and Subhajit Chaudhury and Ryosuke Kohita and Akifumi Wachi and Don Joven Agravante and Michiaki Tatsubori and Asim Munawar and Alexander Gray},
  year = {2021},
  url = {https://arxiv.org/abs/2110.10963},
  note = {Source identifier: 2110.10963}
}