An Introduction to Voting Rule Verification

Bernhard Beckert, Thorsten Bormer, Rajeev Gore, Michael Kirsten, Carsten Schürmann

Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

Original languageEnglish
Title of host publicationTrends in Computational Social Choice
Number of pages20
PublisherAI Access
Publication date2017
ISBN (Print)978-1-326-91209-3
Publication statusPublished - 2017

Cite this