Sciweavers

Share
ACMICEC
2006
ACM

Passive verification of the strategyproofness of mechanisms in open environments

9 years 2 months ago
Passive verification of the strategyproofness of mechanisms in open environments
Consider an open infrastructure in which anyone can deploy mechanisms to support automated decision making and coordination amongst self-interested computational agents. Strategyproofness is a central property in the design of such mechanisms, allowing participants to maximize their individual benefit by reporting truthful private information about preferences and capabilities and without modeling or reasoning about the behavior of other agents. But, why should participants trust that a mechanism is strategyproof? We address this problem, proposing and describing a passive verifier, able to monitor the inputs and outputs of mechanisms and verify the strategyproofness, or not, of a mechanism. Useful guarantees are available to participants before the behavior of the mechanism is completely known, and metrics are introduced to provide a measure of partial verification. Experimental results demonstrate the effectiveness of our method. Categories and Subject Descriptors H.4 [Multiagent Sy...
Laura Kang, David C. Parkes
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where ACMICEC
Authors Laura Kang, David C. Parkes
Comments (0)
books