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

S. Akshay, Prerak Contractor, Paul Gastin, R. Govind, B. Srivathsan

Browse the full TACAS paper archive.