Termination Analysis of Probabilistic Programs through Positivstellensatz’s

Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
PDF Published version
Type
Conference paper
Publication
International Conference on Computer Aided Verification (CAV)