Verifiably truthful mechanisms
S Brânzei, AD Procaccia - Proceedings of the 2015 Conference on …, 2015 - dl.acm.org
It is typically expected that if a mechanism is truthful, then the agents would, indeed, truthfully
report their private information. But why would an agent believe that the mechanism is …
report their private information. But why would an agent believe that the mechanism is …
Computer-aided verification for mechanism design
We explore techniques from computer-aided verification to construct formal proofs of
incentive properties. Because formal proofs can be automatically checked, agents do not …
incentive properties. Because formal proofs can be automatically checked, agents do not …
[图书][B] Open mechanism design: Ensuring and verifying the strategyproofness of mechanisms in open environments
LSY Kang - 2008 - search.proquest.com
The wide-spread availability of high-speed internet access has brought about a migration of
computation from local company-owned servers and personal computers to shared …
computation from local company-owned servers and personal computers to shared …