2 citations · 2 across the 2 of their papers we have counts for
3 papers
Strategyproofness and Proportionality in Party-Approval Multiwinner Elections
Théo Delemazure, Tom Demeulemeester, Manuel Eberl +2
In party-approval multiwinner elections the goal is to allocate the seats of a fixed-size committee to parties based on the approval ballots of the voters over the parties. In part…
A Verified Compiler for Probability Density Functions
Manuel Eberl, Johannes Hölzl, Tobias Nipkow
Bhat et al. developed an inductive compiler that computes density functions for probability spaces described by programs in a simple probabilistic functional language. In this work…
Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving
Florian Brandl, Felix Brandt, Manuel Eberl +1
Two important requirements when aggregating the preferences of multiple agents are that the outcome should be economically efficient and the aggregation mechanism should not be man…