54 citations · 74 across the 13 of their papers we have counts for
8 papers · 1 filter
Stylish Risk-Limiting Audits in Practice
Amanda K. Glazer, Jacob V. Spertus, Philip B. Stark
Risk-limiting audits (RLAs) can use information about which ballot cards contain which contests (card-style data, CSD) to ensure that each contest receives adequate scrutiny, witho…
Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE
Alexander Ek, Philip B. Stark, Peter J. Stuckey +1
An election audit is risk-limiting if the audit limits (to a pre-specified threshold) the chance that an erroneous electoral outcome will be certified. Extant methods for auditing…
Overstatement-Net-Equivalent Risk-Limiting Audit: ONEAudit
Philip B. Stark
Card-level comparison risk-limiting audits (CLCAs) heretofore required a CVR for each cast card and a "link" identifying which CVR is for which card -- which many voting systems ca…
Ballot-Polling Audits of Instant-Runoff Voting Elections with a Dirichlet-Tree Model
Floyd Everest, Michelle Blom, Philip B. Stark +3
Instant-runoff voting (IRV) is used in several countries around the world. It requires voters to rank candidates in order of preference, and uses a counting algorithm that is more…
Assessing the accuracy of the Australian Senate count: Key steps for a rigorous and transparent audit
Michelle Blom, Philip B. Stark, Peter J. Stuckey +2
This paper explains the main principles and some of the technical details for auditing the scanning and digitisation of the Australian Senate ballot papers. We give a short summary…
Auditing Ranked Voting Elections with Dirichlet-Tree Models: First Steps
Floyd Everest, Michelle Blom, Philip B. Stark +3
Ranked voting systems, such as instant-runoff voting (IRV) and single transferable vote (STV), are used in many places around the world. They are more complex than plurality and sc…