TY  - RPRT
TI  - Disproving (Positive) Almost-Sure Termination of Probabilistic Term Rewriting via Random Walks
AU  - Jan-Christoph Kassing
AU  - Henri Nagel
AU  - Alexander Schlecht
AU  - Jürgen Giesl
PY  - 2026
UR  - https://arxiv.org/abs/2602.16522
ID  - 2602.16522
ER  -