Optimal insurance under random auditing

We provide a characterization of an optimal insurance contract (coverage schedule and audit policy) when the monitoring procedure is random. When the policyholder exhibits constant absolute risk aversion, the optimal contract involves a positive indemnity payment with a deductible when the magnitude of damages exceeds a threshold. In such a case, marginal damages are fully covered if the claim is verified. Otherwise, there is an additional deductible that disappears when the damages become infinitely large. Under decreasing absolute risk aversion, providing a positive indemnity payment for small claims with a nonmonotonic coverage schedule may be optimal.