@article{probabilisticverificationinmechanism,
  title = {Probabilistic Verification in Mechanism Design},
  author = {Ian Ball and Deniz Kattwinkel},
  year = {2019},
  eprint = {1908.05556},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/1908.05556v5},
}