n algebraic approach for union bound reasoning about probabilistic programs

Leandro Gomes

2024-02-22 10:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse