Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems
Keyword(s):
We study the problem of determining the robustness of a multi-agent system of unbounded size against specifications expressed in a temporal-epistemic logic. We introduce a procedure to synthesise automatically the maximal ratio of faulty agents that may be present at runtime for a specification to be satisfied in a multi-agent system. We show the procedure to be sound and amenable to symbolic implementation. We present an implementation and report the experimental results obtained by running this on a number of protocols from swarm robotics.
Keyword(s):
2020 ◽
Vol 34
(05)
◽
pp. 7071-7078
Keyword(s):
2011 ◽
pp. 118-136
◽
2016 ◽
Vol 40
(2)
◽
pp. 504-513
◽
1996 ◽
Vol 4
◽
pp. 477-507
◽
Keyword(s):
2004 ◽
Vol 03
(01)
◽
pp. 33-60
◽