On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic. - Ugo Dal Lago; Guido Fiorillo; Paolo Pistone (CoRR, 2026)