Termination Analysis of Probabilistic Programs through Positivstellensatz’s

Publication
International Conference on Computer Aided Verification (CAV)