Verification of multi-agent properties in electronic voting: a case study

MaRDI QIDQ5884964zbMATH OpenFDO

Authors Damian Kurpiewski, Wojciech Jamroga, Lukasz Masko, Łukasz Mikulski, Wojciech Penczek, Teofil Sidoruk

Publication date 24 March 2023

zbMATH Keywords

e-votingformal verificationmulti-agent systems

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Logic in computer science (03B70) Agent technology and artificial intelligence (68T42) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• Compositional verification of a multi-agent system for one-to-many negotiation
• scientific article; zbMATH DE number 2064229
• Electronic Voting: How Logic Can Help
• scientific article; zbMATH DE number 1759731

This page was built for publication: Verification of multi-agent properties in electronic voting: a case study

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5884964)