Luisa Collodi, Michele Boreale, Alessandro Pompa Di Gregorio. Towards Algebraic Analysis of Probabilistic Programs. In Luca Moscardelli, editor, Proceedings of the 26th Italian Conference on Theoretical Computer Science, Pescara, Italy, September 10-12, 2025. Volume 4039 of CEUR Workshop Proceedings, pages 147-153, CEUR-WS.org, 2025. [doi]
Abstract is missing.