Prerak Contractor

Identifiers

• name variant Prerak Contractor 0.60 · backfill

Papers (1)

1. TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics cs.FL · 2025 · author #2

Mentions

• 2510.14699 #2 · arxiv_oai · confidence 0.70 Prerak Contractor

Frequent Coauthors

• B. Srivathsan 1 shared papers
• Paul Gastin 1 shared papers
• R. Govind 1 shared papers
• S. Akshay 1 shared papers