TY  - RPRT
TI  - Computer-aided verification in mechanism design
AU  - Gilles Barthe
AU  - Marco Gaboardi
AU  - Emilio Jesús Gallego Arias
AU  - Justin Hsu
AU  - Aaron Roth
AU  - Pierre-Yves Strub
PY  - 2016
DO  - 10.1007/978-3-662-54110-4_20
UR  - https://arxiv.org/abs/1502.04052
ID  - 1502.04052
ER  -