Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Development of Fault Tolerant MAS with Cooperative Error Recovery by
  Refinement in Event-B   Designing fault tolerance mechanisms for multi-agent systems is a notoriously
difficult task. In this paper we present an approach to formal development of a
fault tolerant multi-agent system by refinement in Event-B. We demonstrate how
to formally specify cooperative error recovery and dynamic reconfiguration in
Event-B. Moreover, we discuss how to express and verify essential properties of
a fault tolerant multi-agent system while refining it. The approach is
illustrated by a case study - a multi-robotic system.

8
The categories of this paper are: hep-ex
26
The categories of this paper are: bayes-an
37
The categories of this paper are: supr-con
12
The categories of this paper are: nucl-th
5
The categories of this paper are: gr-qc
3
The categories of this paper are: physics
16
The categories of this paper are: stat
31
The categories of this paper are: ao-sci
24
The categories of this paper are: dg-ga
10
The categories of this paper are: q-bio
29
The categories of this paper are: funct-an
14
The categories of this paper are: math-ph
30
The categories of this paper are: q-alg
19
The categories of this paper are: eess
2
The categories of this paper are: math
17
The categories of this paper are: q-fin