@misc{indiciaed87ec9b6f479,
  title = {Retrieval-Augmented Mining of Temporal Logic Specifications from Data},
  author = {Gaia Saveri and Luca Bortolussi},
  year = {2024},
  url = {https://arxiv.org/abs/2405.14355},
  note = {Source identifier: 2405.14355}
}