conftrace_

parameterised model checking

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

data-aware multi-agent system (1) homogeneous agent (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