Stochastic costly state verification and dynamic contracts

I extend the standard recursive methods to study the problem and show that it is optimal to set verification probabilities strictly less than 1. If the agent׳s absolute risk aversion declines sufficiently slowly, the principal will use verification regardless of its cost. If the agent's income is verified then he would get consumption and continuation utility strictly higher than if his income were not verified.