Towards Algebraic Analysis of Probabilistic Programs. - Luisa Collodi; Michele Boreale; Alessandro Pompa Di Gregorio (ICTCS, 2025)