Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics.

Wed, 01 Oct 2025 01:00:00 +0200

S. Akshay, Prerak Contractor, Paul Gastin, R. Govind, B. Srivathsan:
Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics. CoRR abs/2510.14699 (2025)