8 citations · 40 across the 24 of their papers we have counts for
25 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…
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…
Analysing Guarantees in Australian Senate Outcomes
Michelle Blom
Single Transferable Vote (STV) is used to elect candidates to the 76 seat Australian Senate across six states and two territories. These eight STV contests are counted using a comb…
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…
Strategy Extraction in Single-Agent Games
Archana Vadakattu, Michelle Blom, Adrian R. Pearce
The ability to continuously learn and adapt to new situations is one where humans are far superior compared to AI agents. We propose an approach to knowledge transfer using behavio…
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…
Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections
Michelle Blom, Jurlind Budurushi, Ronald L. Rivest +4
Risk-limiting audits (RLAs), an ingredient in evidence-based elections, are increasingly common. They are a rigorous statistical means of ensuring that electoral results are correc…
Auditing Hamiltonian Elections
Michelle Blom, Philip B. Stark, Peter J. Stuckey +2
Presidential primaries are a critical part of the United States Presidential electoral process, since they are used to select the candidates in the Presidential election. While met…
Random errors are not necessarily politically neutral
Michelle Blom, Andrew Conway, Peter J. Stuckey +2
Errors are inevitable in the implementation of any complex process. Here we examine the effect of random errors on Single Transferable Vote (STV) elections, a common approach to de…
You can do RLAs for IRV
Michelle Blom, Andrew Conway, Dan King +4
The City and County of San Francisco, CA, has used Instant Runoff Voting (IRV) for some elections since 2004. This report describes the first ever process pilot of Risk Limiting Au…
RAIRE: Risk-Limiting Audits for IRV Elections
Michelle Blom, Peter J. Stuckey, Vanessa Teague
Risk-limiting post election audits guarantee a high probability of correcting incorrect election results, independent of why the result was incorrect. Ballot-polling audits select…
Computing the Margin of Victory in Preferential Parliamentary Elections
Michelle Blom, Peter J. Stuckey, Vanessa Teague
We show how to use automated computation of election margins to assess the number of votes that would need to change in order to alter a parliamentary outcome for single-member pre…
Towards Computing Victory Margins in STV Elections
Michelle Blom, Peter J. Stuckey, Vanessa J. Teague
The Single Transferable Vote (STV) is a system of preferential voting employed in multi-seat elections. Each vote cast by a voter is a (potentially partial) ranking over a set of c…
An analysis of New South Wales electronic vote counting
Andrew Conway, Michelle Blom, Lee Naish +1
We re-examine the 2012 local government elections in New South Wales, Australia. The count was conducted electronically using a randomised form of the Single Transferable Vote (STV…
Auditing Australian Senate Ballots
Berj Chilingirian, Zara Perumal, Ronald L. Rivest +6
We explain why the Australian Electoral Commission should perform an audit of the paper Senate ballots against the published preference data files. We suggest four different post-e…