Login / Signup

Verification of Multi-Agent Properties in Electronic Voting: A Case Study.

Damian KurpiewskiWojciech JamrogaLukasz MaskoLukasz MikulskiWitold PazderskiWojciech PenczekTeofil Sidoruk
Published in: CoRR (2023)
Keyphrases
  • multi agent
  • electronic voting
  • model checking
  • multi agent systems
  • intelligent agents
  • formal methods
  • secret sharing
  • blind signature