@misc{indiciae16d59a3a4072,
  title = {Learning GR(1) Specifications from Traces},
  author = {Sam Nicholas Kouteili and William Fishell and Mark Santolucito and Ruzica Piskac},
  year = {2026},
  url = {https://arxiv.org/abs/2608.06546},
  note = {Source identifier: 2608.06546}
}