Prerak Contractor

According to our database, Prerak Contractor authored at least 3 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

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

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

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

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

CoRR, October, 2025

2024

Symbolic Domains and Reachability for Nets with Trajectories.

Loïc Hélouët, Prerak Contractor

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024