On the Almost-Sure Termination of Probabilistic Counter Programs.

Sergei Novozhilov, Mingqi Yang, Mingshuai Chen, Zhiyang Li, Jianwei Yin

Browse the full CAV paper archive.