@misc{indiciae29a30832e281,
  title = {Learning Temporal Logic Predicates from Data with Statistical Guarantees},
  author = {Emi Soroka and Rohan Sinha and Sanjay Lall},
  year = {2025},
  url = {https://arxiv.org/abs/2406.10449},
  note = {Source identifier: 2406.10449}
}