16 citations · 16 across the 1 of their papers we have counts for
1 paper
Krishnendu Chatterjee, Hongfei Fu
We study the termination problem for nondeterministic recursive probabilistic programs. First, we show that a ranking-supermartingales-based approach is both sound and complete for…