Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Towards formal models and languages for verifiable Multi-Robot Systems   Incorrect operations of a Multi-Robot System (MRS) may not only lead to
unsatisfactory results, but can also cause economic losses and threats to
safety. These threats may not always be apparent, since they may arise as
unforeseen consequences of the interactions between elements of the system.
This call for tools and techniques that can help in providing guarantees about
MRSs behaviour. We think that, whenever possible, these guarantees should be
backed up by formal proofs to complement traditional approaches based on
testing and simulation.
  We believe that tailored linguistic support to specify MRSs is a major step
towards this goal. In particular, reducing the gap between typical features of
an MRS and the level of abstraction of the linguistic primitives would simplify
both the specification of these systems and the verification of their
properties. In this work, we review different agent-oriented languages and
their features; we then consider a selection of case studies of interest and
implement them useing the surveyed languages. We also evaluate and compare
effectiveness of the proposed solution, considering, in particular, easiness of
expressing non-trivial behaviour.

27
The categories of this paper are: comp-gas
14
The categories of this paper are: math-ph
22
The categories of this paper are: chao-dyn
5
The categories of this paper are: gr-qc
36
The categories of this paper are: cmp-lg
2
The categories of this paper are: math
11
The categories of this paper are: hep-lat
24
The categories of this paper are: dg-ga
32
The categories of this paper are: atom-ph
10
The categories of this paper are: q-bio
6
The categories of this paper are: astro-ph
21
The categories of this paper are: adap-org
9
The categories of this paper are: nlin
35
The categories of this paper are: mtrl-th
23
The categories of this paper are: solv-int
29
The categories of this paper are: funct-an