Revisiting Underapproximate Reachability for Multipushdown Systems. - S. Akshay 001; Paul Gastin; S. Krishna 004; Sparsa Roychowdhury (TACAS (1), 2020)

Resilience of Timed Systems. - S. Akshay 001; Blaise Genest; Loïc Hélouët; S. Krishna 004; Sparsa Roychowdhury (FSTTCS, 2021)

1½-Player Stochastic StopWatch Games. - Sparsa Roychowdhury (TIME, 2021)