@misc{indiciaefe39f92e3d4f,
  title = {Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator},
  author = {Homer Walke and Daniel Ritter and Carl Trimbach and Michael Littman},
  year = {2021},
  url = {https://arxiv.org/abs/2111.04147},
  note = {Source identifier: 2111.04147}
}