conftrace_

parameterised system

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

multi-agent system (2) temporal-epistemic logic (2) swarm robotics (2) fault tolerance (2) parameterised verification (1) symbolic synthesis (1) model checking (1)

Papers

Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems IJCAI 2018 Verifying Fault-tolerance in Parameterised Multi-Agent Systems IJCAI 2017