Sparsa Roychowdhury

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 4

Top Topics

Pure Nash Equilibria

Systems Require

Top Venues

Publications

Sparsa Roychowdhury
1½-Player Stochastic StopWatch Games. TIME (2021)
S. Akshay, Blaise Genest, Loïc Hélouët, Shankara Narayanan Krishna, Sparsa Roychowdhury
Resilience of Timed Systems. FSTTCS (2021)
S. Akshay, Paul Gastin, Shankara Narayanan Krishna, Sparsa Roychowdhury
Revisiting Underapproximate Reachability for Multipushdown Systems. TACAS (1) (2020)
S. Akshay, Paul Gastin, Shankara Narayanan Krishna, Sparsa Roychowdhury
Revisiting Underapproximate Reachability for Multipushdown Systems. CoRR (2020)