Witold Pazderski

According to our database, Witold Pazderski authored at least 2 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

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

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions.

Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021