Automated Termination Analysis of Polynomial Probabilistic Programs.

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovcs

Browse the full ESOP paper archive.