@misc{indiciae0962ab6969d3,
  title = {An Efficient Formula Synthesis Method with Past Signal Temporal Logic},
  author = {Mert Ergurtuna and Ebru Aydin Gol},
  year = {2019},
  url = {https://arxiv.org/abs/1904.07828},
  note = {Source identifier: 1904.07828}
}