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

Jan-Christoph Kassing, Henri Nagel, Alexander Schlecht +1

In recent years, numerous techniques were developed to automatically prove termination of different kinds of probabilistic programs. However, there are only few automated methods t…