Show simple item record

dc.contributor.authorKang, Laura
dc.contributor.authorParkes, David C.
dc.date.accessioned2010-05-03T14:27:08Z
dc.date.issued2006
dc.identifier.citationKang, Laura, and David C Parkes. 2006. Passive verification of the strategyproofness of mechanisms in open environments. In Proceedings of the 8th international conference on Electronic commerce: The new e-commerce: innovations for conquering current barriers, obstacles and limitations to conducting successful business on the internet: August 13-16, 2006, Fredericton, New Brunswick, Canada, ed. B. Spencer, 19-30. New York, NY: ACM Press.en_US
dc.identifier.isbn1-59593-392-1en_US
dc.identifier.urihttp://nrs.harvard.edu/urn-3:HUL.InstRepos:4039775
dc.description.abstractConsider 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.en_US
dc.description.sponsorshipEngineering and Applied Sciencesen_US
dc.language.isoen_USen_US
dc.publisherAssociation for Computing Machineryen_US
dc.relation.isversionofdoi:10.1145/1151454.1151473en_US
dc.relation.hasversionhttp://www.eecs.harvard.edu/econcs/pubs/verif3.pdfen_US
dash.licenseLAA
dc.subjectconstraint networksen_US
dc.subjectgame theoryen_US
dc.subjectmechanism designen_US
dc.subjectstrategyproofnessen_US
dc.subjectverificationen_US
dc.titlePassive Verification of the Strategyproofness of Mechanisms in Open Environmentsen_US
dc.typeMonograph or Booken_US
dc.description.versionAccepted Manuscripten_US
dash.depositing.authorParkes, David C.
dc.date.available2010-05-03T14:27:08Z
dc.identifier.doi10.1145/1151454.1151473*
dash.contributor.affiliatedParkes, David


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record