Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Scalable Integrated Task and Motion Planning from Signal Temporal Logic
  Specifications   Many safety-critical systems must achieve high-level task specifications with
guaranteed safety and correctness. Much recent progress towards this goal has
been made through controller synthesis from signal temporal logic (STL)
specifications. Existing approaches, however, either consider some a priori
discretization of the state-space, deal only with a convex fragment of STL, or
are not provably complete. We propose a scalable, provably complete algorithm
that directly synthesizes continuous trajectories to satisfy non-convex STL
specifications. We separate discrete task planning and continuous motion
planning on the fly and harness highly efficient satisfiability modulo theories
(SMT) and linear programming (LP) solvers to find dynamically feasible
trajectories for high dimensional systems that satisfies non-convex STL
specifications. The proposed design algorithms are proved sound and complete,
and simulation results demonstrate the scalability of our approach.

31
The categories of this paper are: ao-sci
11
The categories of this paper are: hep-lat
34
The categories of this paper are: chem-ph
5
The categories of this paper are: gr-qc
2
The categories of this paper are: math
4
The categories of this paper are: cond-mat
29
The categories of this paper are: funct-an
18
The categories of this paper are: econ
0
The categories of this paper are: hep-ph
24
The categories of this paper are: dg-ga
25
The categories of this paper are: patt-sol
15
The categories of this paper are: nucl-ex
22
The categories of this paper are: chao-dyn
19
The categories of this paper are: eess
10
The categories of this paper are: q-bio
12
The categories of this paper are: nucl-th