@misc{indiciaebea9abb88138,
  title = {TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics},
  author = {S. Akshay and Prerak Contractor and Paul Gastin and R. Govind and B. Srivathsan},
  year = {2026},
  url = {https://arxiv.org/abs/2510.14699},
  note = {Source identifier: 2510.14699}
}