42 citations · 115 across the 8 of their papers we have counts for
1 paper · 1 filter
Gilles Barthe, Thomas Espitau, Benjamin Grégoire +3
Probabilistic coupling is a powerful tool for analyzing pairs of probabilistic processes. Roughly, coupling two processes requires finding an appropriate witness process that model…