Disproving (Positive) Almost-Sure Termination of Probabilistic Term Rewriting via Random Walks.

Jan-Christoph Kassing, Henri Nagel, Alexander Schlecht, Jrgen Giesl

Browse the full IJCAR paper archive.