Sparsa Roychowdhury

According to our database, Sparsa Roychowdhury authored at least 3 papers between 2020 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

1½-Player Stochastic StopWatch Games.

Sparsa Roychowdhury

Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021

Resilience of Timed Systems.

S. Akshay, Blaise Genest, Loïc Hélouët, S. Krishna, Sparsa Roychowdhury

Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021

2020

Revisiting Underapproximate Reachability for Multipushdown Systems.

S. Akshay, Paul Gastin, S. Krishna, Sparsa Roychowdhury

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020