conftrace_

english auction

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

parameterised verification (1) data-aware multi-agent system (1) homogeneous agent (1) parameterised model checking (1) multi-agent system (1) temporal-epistemic logic (1) model checking (1)

Papers

Parameterised Verification of Data-aware Multi-Agent Systems IJCAI 2017