Isabelle logo

Manuel Eberl

Chair for Logic and Verification

Verifying Randomised Social Choice (unpublished draft)

by Manuel Eberl

Download draft PDF (445 KiB)

BibTeX:

@inproceedings{eberl19j,
author="Eberl, Manuel",
title="Verifying Randomised Social Choice",
year="2019",
note="Draft available at \url{https://www21.in.tum.de/~eberlm/pdfs/sds_isabelle.pdf}"
}

Download BibTeX (194 Bytes)