Termination Analysis of Probabilistic Programs Through Positivstellensatz's.

Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady

Browse the full CAV paper archive.