1 citations · 2 across the 5 of their papers we have counts for
4 papers · 1 filter
Practical Abstractions for Model Checking Continuous-Time Multi-Agent Systems
Yan Kim, Wojciech Jamroga, Wojciech Penczek +1
Model checking of temporal logics in a well established technique to verify and validate properties of multi-agent systems (MAS). However, practical model checking requires input m…
Practical Model Reductions for Verification of Multi-Agent Systems
Wojciech Jamroga, Yan Kim
Formal verification of intelligent agents is often computationally infeasible due to state-space explosion. We present a tool for reducing the impact of the explosion by means of s…
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…
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…