1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Rupak Majumdar, V. R. Sathiyanarayana
Deciding termination is a fundamental problem in the analysis of probabilistic imperative programs. We consider the qualitative and quantitative probabilistic termination problems…