conftrace_

data-aware multi-agent system

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

homogeneous agent (1) parameterised model checking (1) parameterised verification (1) english auction (1) multi-agent system (1) temporal-epistemic logic (1) model checking (1)

Papers

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