Login / Signup
Shankara Narayanan Krishna
ORCID
Publication Activity (10 Years)
Years Active: 1999-2024
Publications (10 Years): 84
Top Topics
Model Checking
Timed Automata
Metric Temporal Logic
Nash Equilibria
Top Venues
CoRR
CONCUR
FSTTCS
LICS
</>
Publications
</>