Growing Dependability using a Multi-Agent Approach to Fault Tolerance

Author(s):  
Peter Mendham
Keyword(s):  
2019 ◽  
Vol 150 ◽  
pp. 171-178 ◽  
Author(s):  
Alexander Feoktistov ◽  
Roman Kostromin ◽  
Ivan Sidorov ◽  
Sergey Gorsky ◽  
Gennady Oparin

2019 ◽  
Vol 14 (1) ◽  
pp. 13-26
Author(s):  
Angelina D. Bintoudi ◽  
Lampros Zyglakis ◽  
Apostolos C. Tsolakis ◽  
Dimosthenis Ioannidis ◽  
Lenos Hadjidemetriou ◽  
...  

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.


2005 ◽  
Vol 6 (7) ◽  
pp. 676-682 ◽  
Author(s):  
Tang Jing-fan ◽  
Zhou Bo ◽  
He Zhi-jun

Sign in / Sign up

Export Citation Format

Share Document