R. Govind
Scholar

R. Govind

Google Scholar ID: KEL6kkEAAAAJ
Uppsala University
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
57
 
H-index
4
 
i10-index
2
 
Publications
17
 
Co-authors
0
 
Contact
Emailgovind.rajanbabu@it.uu.seGitHubOpen ↗
Publications
3 items
Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics
2025
Cited
0
Checking Consistency of Event-driven Traces
2025
Cited
0
MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
International Conference on Concurrency Theory · 2024
Cited
1
Resume (English only)
Background
  • Research interests include formal methods, particularly in automata theory, logic, and automated synthesis, and its application in formal verification.
Co-authors
0 total
Co-authors: 0 (list not available)