15 citations · 66 across the 23 of their papers we have counts for
1 paper · 2 filters
Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
We consider nondeterministic probabilistic programs with the most basic liveness property of termination. We present efficient methods for termination analysis of nondeterministic…