Sparsa Roychowdhury

Orcid: 0000-0003-3583-7612

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
1½-Player Stochastic StopWatch Games.
Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021

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

2020
Revisiting Underapproximate Reachability for Multipushdown Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020


  Loading...