Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Neural Network-based Control for Multi-Agent Systems from
  Spatio-Temporal Specifications   We propose a framework for solving control synthesis problems for multi-agent
networked systems required to satisfy spatio-temporal specifications. We use
Spatio-Temporal Reach and Escape Logic (STREL) as a specification language. For
this logic, we define smooth quantitative semantics, which captures the degree
of satisfaction of a formula by a multi-agent team. We use the novel
quantitative semantics to map control synthesis problems with STREL
specifications to optimization problems and propose a combination of heuristic
and gradient-based methods to solve such problems. As this method might not
meet the requirements of a real-time implementation, we develop a machine
learning technique that uses the results of the off-line optimizations to train
a neural network that gives the control inputs at current states. We illustrate
the effectiveness of the proposed framework by applying it to a model of a
robotic team required to satisfy a spatial-temporal specification under
communication constraints.

20
The categories of this paper are: acc-phys
33
The categories of this paper are: plasm-ph
36
The categories of this paper are: cmp-lg
34
The categories of this paper are: chem-ph
31
The categories of this paper are: ao-sci
14
The categories of this paper are: math-ph
8
The categories of this paper are: hep-ex
24
The categories of this paper are: dg-ga
25
The categories of this paper are: patt-sol
37
The categories of this paper are: supr-con
10
The categories of this paper are: q-bio
15
The categories of this paper are: nucl-ex
0
The categories of this paper are: hep-ph
26
The categories of this paper are: bayes-an
7
The categories of this paper are: hep-th
3
The categories of this paper are: physics