154 citations · 897 across the 34 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015★ 42 cited
Relational reasoning via probabilistic coupling
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…
cs.GT2015★ 14 cited
Computer-aided verification in mechanism design
Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias +3
In mechanism design, the gold standard solution concepts are dominant strategy incentive compatibility and Bayesian incentive compatibility. These solution concepts relieve the (po…