scholarly journals Compositional and symbolic synthesis of reactive controllers for multi-agent systems

2018 ◽  
Vol 261 ◽  
pp. 616-633 ◽  
Author(s):  
Rajeev Alur ◽  
Salar Moarref ◽  
Ufuk Topcu
Keyword(s):  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent ◽  
Symbolic Synthesis

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

2018 ◽  
Author(s):  
Panagiotis Kouvaros ◽  
Alessio Lomuscio ◽  
Edoardo Pirovano
Keyword(s):  
Fault Tolerance ◽  
Epistemic Logic ◽  
Swarm Robotics ◽  
Experimental Results ◽  
Multi Agent System ◽  
Multi Agent Systems ◽  
Agent System ◽  
Agent Systems ◽  
Multi Agent ◽  
Symbolic Synthesis

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.

Sign in / Sign up

Export Citation Format

Share Document