2 citations · 3 across the 8 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…