Pemilihan adalah proses keputusan penting yang dapat mempengaruhi kehidupan kita secara signifikan. Penghitungan suara di pemilihan tidak bebas dari kesalahan manusia atau kesalahan mesin. Audit berfungsi untuk memverifikasi hasil pemilihan. Sebuah audit dengan batasan risiko memastikan audit memiliki peluang tinggi untuk mengonfirmasikan pemenang yang dilaporkan (jika pemenang yang dilaporkan memang betul) sebagai pemenang sesungguhnya dan mengoreksi hasil pemilihan (jika pemenang yang dilaporkan salah). Ballot-polling Risk-limiting Audits to Verify Outcomes (BRAVO) adalah audit dengan batasan risiko yang menguji sampel per kertas suara individu yang diambil secara acak (dari hasil pemungutan suara). Riset ini mendefinisikan prosedur audit pada pemungutan suara dengan batasan risiko untuk seleksi pemenang Condorcet. Riset ini melakukan eksperimen yang menunjukkan kalau BRAVO bisa digunakan untuk seleksi pemenang Condorcet. Riset ini juga menunjukkan efektivitas dan efisiensi dari prosedur audit. Selain itu, riset ini menunjukkan efek dari batasan risiko dan terhadap banyak kertas suara yang diperlukan di prosedur audit.

---

Election is a crucial decision-making process that can affect significantly our lives. The outcome of an election must be accurate. Tallying in election is not free from human errors or machine errors. Therefore, a corrective measure is necessary to verify the election outcome. This is the role of an audit. A risk-limiting audit ensures that the audit has a high chance to confirm a correct reported winner and correct any erroneous reported winner. BRAVO is a risk-limiting audit that examines samples per randomly-drawn individual ballot (ballot-polling). This research defines the ballot-polling risk-limiting audit procedure for the selection of Condorcet winner. This research conducts an experiment that shows BRAVO can be used for the selection of Condorcet winner