@misc{indiciae5051cac9a5d6,
  title = {On Synthesis of Metric Interval Temporal Logics},
  author = {Hsi-Ming Ho and Shankaranarayanan Krishna and Khushraj Madnani},
  year = {2026},
  url = {https://arxiv.org/abs/2609.01032},
  note = {Source identifier: 2609.01032}
}