4 citations · 14 across the 16 of their papers we have counts for
16 papers
Advances in STV Margin Computation
Michelle Blom, Alexander Ek, Peter J. Stuckey +2
Single transferable vote (STV) is a multi-winner preferential proportional electoral system. The margin is the smallest number of ballots that need to be manipulated to alter the s…
To whom did my vote go?
Andrew Conway, Michelle Blom, Alexander Ek +3
Single Transferable Vote (STV) counting, used in several jurisdictions in Australia, is a system for choosing multiple election winners given voters' preferences among candidates.…
3+ Seat Risk-Limiting Audits for Single Transferable Vote Elections
Michelle Blom, Alexander Ek, Peter J. Stuckey +2
Constructing efficient risk-limiting audits (RLAs) for multiwinner single transferable vote (STV) elections is a challenging problem. An STV RLA is designed to statistically verify…
Doing More With Less: Mismatch-Based Risk-Limiting Audits
Alexander Ek, Michelle Blom, Philip B. Stark +3
One approach to risk-limiting audits (RLAs) compares randomly selected cast vote records (CVRs) to votes read by human auditors from the corresponding ballot cards. Historically, s…
Efficient Lower Bounding of Single Transferable Vote Election Margins
Michelle Blom, Alexander Ek, Peter J. Stuckey +2
The single transferable vote (STV) is a system of preferential proportional voting employed in multi-seat elections. Each ballot cast by a voter is a (potentially partial) ranking…
Timetable Nodes for Public Transport Network
Andrii Rohovyi, Peter J. Stuckey, Toby Walsh
Faster pathfinding in time-dependent transport networks is an important and challenging problem in navigation systems. There are two main types of transport networks: road networks…
Idiosyncratic properties of Australian STV election counting
Andrew Conway, Michelle Blom, Alexander Ek +3
Single Transferable Vote (STV) counting, used in several jurisdictions in Australia, is a system for choosing multiple election winners given voters' preferences over candidates. T…
Improving the Computational Efficiency of Adaptive Audits of IRV Elections
Alexander Ek, Michelle Blom, Philip B. Stark +2
AWAIRE is one of two extant methods for conducting risk-limiting audits of instant-runoff voting (IRV) elections. In principle AWAIRE can audit IRV contests with any number of cand…
Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections
Alexander Ek, Philip B. Stark, Peter J. Stuckey +1
Various risk-limiting audit (RLA) methods have been developed for instant-runoff voting (IRV) elections. A recent method, AWAIRE, is the first efficient approach that can take adva…
RLAs for 2-Seat STV Elections: Revisited
Michelle Blom, Peter J. Stuckey, Vanessa Teague +1
Single Transferable Vote (STV) elections are a principled approach to electing multiple candidates in a single election. Each ballot has a starting value of 1, and a candidate is e…
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…
Risk-Limiting Audits for Condorcet Elections
Michelle Blom, Peter J. Stuckey, Vanessa Teague +1
Elections where electors rank the candidates (or a subset of the candidates) in order of preference allow the collection of more information about the electors' intent. The most wi…
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…
A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections
Michelle Blom, Peter J. Stuckey, Vanessa Teague +1
Risk-limiting audits (RLAs) are an increasingly important method for checking that the reported outcome of an election is, in fact, correct. Indeed, their use is increasingly being…