Login / Signup
Verification of Multi-Agent Properties in Electronic Voting: A Case Study.
Wojtek Jamroga
Lukasz Mako
Lukasz Mikulski
Witold Pazderski
Wojciech Penczek
Teofil Sidoruk
Damian Kurpiewski
Published in:
AiML (2022)
Keyphrases
</>
multi agent
electronic voting
multi agent systems
autonomous agents
secret sharing