Michelle L. Blom, Alexander Ek, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic. 3+ Seat Risk-Limiting Audits for Single Transferable Vote Elections. In Bernhard Haslhofer, Java Xu, Friedhelm Victor, Massimo Bartoletti, Andrea Bracciali, Kanta Matsuura, Jarek Nabrzyski, Vero Estrada-Galiñanes, Claudio J. Tessone, Jurlind Budurushi, Karola Marky, editors, Financial Cryptography and Data Security. FC 2025 International Workshops - CoDecFin, FinTeAchin, VOTING, Miyakojima, Japan, April 18, 2025, Revised Selected Papers, Part II. Volume 15754 of Lecture Notes in Computer Science, pages 226-240, Springer, 2025. [doi]
Abstract is missing.