文件名称：机构设计中的概率验证-研究论文
文件大小：567KB
文件格式：PDF
更新时间：2024-06-29 11:45:39
probabilistic verification testing
我们在机制设计环境中引入了概率验证模型。 委托人通过统计测试验证代理人的索赔。 代理通过每个测试的概率取决于他的类型。 在我们的框架中，启示原则成立。 我们描述了每种类型是否都有相关的测试，可以最好地筛选出所有其他类型。 在这种情况下，测试技术可以用易于处理的简化形式表示。 在拟线性环境中，我们通过引入一种新的虚拟价值表达式来解决收入最大化机制，该表达式对测试效果进行编码。