Hongfei Fu

Termination Analysis of Probabilistic Programs through\n Positivstellensatz's

2016 · arXiv (Cornell University)

We consider nondeterministic probabilistic programs with the most basic\nliveness property of termination. We present efficient methods for termination\nanalysis of nondeterministic probabilistic programs with polynomial guards and\nassignments. Our approach is through synthesis of polynomial ranking\nsupermartingales, that …