Follow
Sparsa Roychowdhury
Sparsa Roychowdhury
PhD Student, Department of Computer Science and Engineering, IIT Bombaay
Verified email at iitb.ac.in
Title
Cited by
Cited by
Year
Revisiting underapproximate reachability for multipushdown systems
S Akshay, P Gastin, S Krishna, S Roychowdhury
Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020
52020
Diagnosis of single faults in quantum circuits
D Bera, S Maitra, S Roychowdhury, S Chakraborty
arXiv preprint arXiv:1512.05051, 2015
32015
Resilience of Timed Systems
S Akshay, B Genest, L Hélouët, S Krishna, S Roychowdhury
FSTTCS 2021-41st IARCS Annual Conference on Foundations of Software …, 2021
2021
1½-Player Stochastic StopWatch Games
S Roychowdhury
28th International Symposium on Temporal Representation and Reasoning (TIME …, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–4