We introduce a model of probabilistic verification in a mechanism design setting. The principal verifies the agent's claims with statistical tests. The agent's probability of passing each test depends on his type. In our framework, the revelation principle holds. We characterize whether each...

A principal can allocate an indivisible good to an agent. The agent privately learns the value of the good while the principal privately learns the cost. Value and cost are correlated. The agent wants to have the good in any case. The principal wants to allocate whenever the value exceeds the...

A principal must decide between two options. Which one she prefers depends on the private information of two agents. One agent always prefers the first option; the other always prefers the second. Transfers are infeasible. One application of this setting is the efficient division of a fixed...

This paper studies a principal who incentivizes an agent to achieve and maintain compliance and voluntarily disclose incidences of non-compliance. Compliance is modeled as a persistent binary process that jumps at random times arriving at a rate that depends on the agent’s efforts. The state...

A principal hires an agent to work on a long-term project that culminates in a breakthrough or a breakdown. At each time, the agent privately chooses to work or shirk. Working increases the arrival rate of breakthroughs and decreases the arrival rate of breakdowns. To motivate the agent to work,...