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

Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano

IJCAI 2018 pp. 324-330

doi:10.24963/IJCAI.2018/45 /ijcai/2018/kouvaros2018ijcai-symbolic/

Abstract

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.

PDF IJCAI Semantic Scholar

Cite

Text

Kouvaros et al. "Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems." International Joint Conference on Artificial Intelligence, 2018. doi:10.24963/IJCAI.2018/45

Markdown

[Kouvaros et al. "Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems." International Joint Conference on Artificial Intelligence, 2018.](https://mlanthology.org/ijcai/2018/kouvaros2018ijcai-symbolic/) doi:10.24963/IJCAI.2018/45

BibTeX

@inproceedings{kouvaros2018ijcai-symbolic,
  title     = {{Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems}},
  author    = {Kouvaros, Panagiotis and Lomuscio, Alessio and Pirovano, Edoardo},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2018},
  pages     = {324-330},
  doi       = {10.24963/IJCAI.2018/45},
  url       = {https://mlanthology.org/ijcai/2018/kouvaros2018ijcai-symbolic/}
}