Probabilistic Verification in Mechanism Design 124/2019, B04, Ian Ball, Deniz Kattwinkel https://www.crctr224.de/research/discussion-papers/archive/dp124/view https://www.crctr224.de/++resource++plone-logo.svg Probabilistic Verification in Mechanism Design 124/2019, B04, Ian Ball, Deniz Kattwinkel CRCTR224_2019_124.pdf application/pdf application/pdf Size 546.1 KB Download