termination

On the Almost-Sure Termination of Probabilistic Counter Programs
This paper introduces $k$-d PCPs – the class of probabilistic counter programs with $k \in \mathbb{N}$ counter variables inducing …
Cite
On the Almost-Sure Termination of Probabilistic Counter Programs
Lower Bounds for Possibly Divergent Probabilistic Programs
We present a new proof rule for verifying lower bounds on quantities of probabilistic programs. Our proof rule is not confined to …
PDF Cite Poster Slides DOI
Lower Bounds for Possibly Divergent Probabilistic Programs
On Termination of Polynomial Programs with Equality Conditions
We investigate the termination problem of a family of multi-path polynomial programs (MPPs), in which all assignments to program …
PDF Cite Code DOI
On Termination of Polynomial Programs with Equality Conditions