TY  - RPRT
TI  - TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics
AU  - S. Akshay
AU  - Prerak Contractor
AU  - Paul Gastin
AU  - R. Govind
AU  - B. Srivathsan
PY  - 2026
UR  - https://arxiv.org/abs/2510.14699
ID  - 2510.14699
ER  -