Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting. - Jan-Christoph Kassing; Leon Valentin Spitzer; Jürgen Giesl (PPDP, 2025)