Login / Signup
Shrisha Rao
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Markov Decision Process
Piecewise Linear
Top Venues
CoRR
CONCUR
ATVA (1)
</>
Publications
</>
Guillermo A. Pérez
,
Shrisha Rao
On Continuous Pushdown VASS in One Dimension.
CONCUR
(2024)
Guillermo A. Pérez
,
Shrisha Rao
Continuous Pushdown VASS in One Dimension are Easy.
CoRR
(2024)
Kasper Engelen
,
Guillermo A. Pérez
,
Shrisha Rao
Graph-Based Reductions for Parametric and Weighted MDPs.
ATVA (1)
(2023)