Maximal lotteries
Maximal lotteries are a probabilistic voting rule that use ranked ballots and returns a lottery over candidates that a majority of voters will prefer, on average, to any other. More formally, the rule has the property that, when averaging over a series of repeated head-to-head matchups, at least half of all voters will prefer the result of a maximal lottery to the result produced by any other voting rule.