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

Lecture notes in computer science 2026 Open access

Read full text

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

DOI: 10.1007/978-3-032-22752-2_33

Cited by: 1

References: 38

Fields of Study & Subjects

Constraint Satisfaction and Optimization Natural Language Processing Techniques Formal Methods in Verification

References 38