conftrace_

parameterised verification

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

multi-agent system (2) temporal-epistemic logic (2) model checking (2) english auction (1) data-aware multi-agent system (1) homogeneous agent (1) parameterised model checking (1) parameterised system (1) swarm robotics (1) fault tolerance (1)

Papers

Parameterised Verification of Data-aware Multi-Agent Systems IJCAI 2017 Verifying Fault-tolerance in Parameterised Multi-Agent Systems IJCAI 2017