Jan-Christoph Kassing

(Probabilistic) Program Verification, Rewriting, Termination

Proving Almost-Sure Termination of Term Rewriting with Non-Constant Probabilities