Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Multi-robot Deployment From LTL Specifications with Reduced
  Communication   In this paper, we develop a computational framework for fully automatic
deployment of a team of unicycles from a global specification given as an LTL
formula over some regions of interest. Our hierarchical approach consists of
four steps: (i) the construction of finite abstractions for the motions of each
robot, (ii) the parallel composition of the abstractions, (iii) the generation
of a satisfying motion of the team; (iv) mapping this motion to individual
robot control and communication strategies. The main result of the paper is an
algorithm to reduce the amount of inter-robot communication during the fourth
step of the procedure.

28
The categories of this paper are: alg-geom
23
The categories of this paper are: solv-int
8
The categories of this paper are: hep-ex
26
The categories of this paper are: bayes-an
31
The categories of this paper are: ao-sci
33
The categories of this paper are: plasm-ph
6
The categories of this paper are: astro-ph
7
The categories of this paper are: hep-th
24
The categories of this paper are: dg-ga
3
The categories of this paper are: physics
36
The categories of this paper are: cmp-lg
18
The categories of this paper are: econ
14
The categories of this paper are: math-ph
11
The categories of this paper are: hep-lat
10
The categories of this paper are: q-bio
25
The categories of this paper are: patt-sol