Shrisha Rao

Orcid: 0000-0001-5559-7287

Affiliations:

According to our database¹, Shrisha Rao authored at least 2 papers between 2023 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Continuous Pushdown VASS in One Dimension are Easy.

[BibT_eX]

[DOI]

CoRR, 2024

2023

Graph-Based Reductions for Parametric and Weighted MDPs.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2023