[April 2025] Talk by Leandro Gomes

An algebraic approach for union bound reasoning about probabilistic programs
Leandro Gomes, Université de Lille, CRIStAL
April 10, 2025