2 papers
cs.CY2021
Voter Perceptions of Trust in Risk-Limiting Audits
Asmita Dalela, Oksana Kulyk, Carsten Schürmann
Risk-limiting audits (RLAs) are expected to strengthen the public confidence in the correctness of an election outcome. We hypothesize that this is not always the case, in part bec…
cs.AI2006
LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)
Christoph Benzmueller, John Harrison, Carsten Schuermann
This workshop brings together practioners and researchers who are involved in the everyday aspects of logical systems based on higher-order logic. We hope to create a friendly and…