1 citations · 2 across the 5 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.MA2022★ 1 cited
Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020
Wojciech Jamroga, Peter Y. A. Ryan, Yan Kim
Voting procedures are designed and implemented by people, for people, and with significant human involvement. Thus, one should take into account the human factors in order to compr…
cs.MA2022★ 1 cited
Practical Abstraction for Model Checking of Multi-Agent Systems
Wojciech Jamroga, Yan Kim
Model checking of multi-agent systems (MAS) is known to be hard, both theoretically and in practice. A smart abstraction of the state space may significantly reduce the model, and…