Formal verification of intelligent agents is often computationally infea...
Voting procedures are designed and implemented by people, for people, an...
Model checking of multi-agent systems (MAS) is known to be hard, both
th...
The design and implementation of an e-voting system is a challenging tas...