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