Automated Termination Analysis of Polynomial Probabilistic Programs

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen +1

The termination behavior of probabilistic programs depends on the outcomes of random assignments. Almost sure termination (AST) is concerned with the question whether a program ter…