Probabilistic Verification for Obviously Strategyproof Mechanisms.

Diodato Ferraioli, Carmine Ventre

Browse the full IJCAI paper archive.