Jan-Christoph Kassing

(Probabilistic) Program Verification, Rewriting, Termination

Transformational Approaches for Termination Analysis in Probabilistic Rewriting