Lukasz Mako

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Autonomous Agents

Electronic Voting

Top Venues

Publications

Wojtek Jamroga, Lukasz Mako, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski
Verification of Multi-Agent Properties in Electronic Voting: A Case Study. AiML (2022)