Computer-Aided Verification in Mechanism Design
Publication information:
G. Barthe, M. Gaboardi, E. J. Gallego Arias, J. Hsu, A. Roth, and P.-Y. Strub. 2016. “Computer-Aided Verification in Mechanism Design”. Conference on Internet and Economics, WINE