faults

Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems

We study the problem of determining the robustness of a multi-agent system of unbounded size against certain faults.

Verifying Fault-tolerance in Parameterised Multi-Agent Systems

Presenting work by Panagiotis Kouvaros and Alessio Lomuscio that was previously published at IJCAI 2017.