Termination Analysis of Probabilistic Programs through Positivstellensatz's

Amir Kafshdar Goharshady
Amir Kafshdar Goharshady

CAV, 2016.

Cited by: 50|Bibtex|Views6|Links
EI

Abstract:

We consider nondeterministic probabilistic programs with the most basic liveness property of termination. We present efficient methods for termination analysis of nondeterministic probabilistic programs with polynomial guards and assignments. Our approach is through synthesis of polynomial ranking supermartingales, that on one hand signif...More

Code:

Data:

Your rating :
0

 

Tags
Comments