Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs.

Krishnendu Chatterjee, Hongfei Fu, Petr Novotn, Rouzbeh Hasheminezhad

Browse the full POPL paper archive.