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

Wojtek Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski

Browse the full AiML paper archive.