Using dynamic proxy agent replicate groups to improve fault-tolerance in multi-agent systems

Author(s):  
Alan Fedoruk ◽  
Ralph Deters
Author(s):  
Panagiotis Kouvaros ◽  
Alessio Lomuscio ◽  
Edoardo Pirovano

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.


2015 ◽  
Vol 31 (1) ◽  
pp. 151-177 ◽  
Author(s):  
Rade Stanković ◽  
Maja Štula ◽  
Josip Maras

Author(s):  
Maíra A. de C. Gatti ◽  
Gustavo R. de Carvalho ◽  
Rodrigo B. de Paes ◽  
Carlos J. P. de Lucena ◽  
Jean-Pierre Briot

Sign in / Sign up

Export Citation Format

Share Document