Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs

Krishnendu Chatterjee, Hongfei Fu, Petr Novotny +1

In this paper, we consider termination of probabilistic programs with real-valued variables. The questions concerned are: 1. qualitative ones that ask (i) whether the program termi…