Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Timed Automata Approach for Motion Planning Using Metric Interval
  Temporal Logic   In this paper, we consider the robot motion (or task) planning problem under
some given time bounded high level specifications. We use metric interval
temporal logic (MITL), a member of the temporal logic family, to represent the
task specification and then we provide a constructive way to generate a timed
automaton and methods to look for accepting runs on the automaton to find a
feasible motion (or path) sequence for the robot to complete the task.

12
The categories of this paper are: nucl-th
7
The categories of this paper are: hep-th
28
The categories of this paper are: alg-geom
14
The categories of this paper are: math-ph
37
The categories of this paper are: supr-con
22
The categories of this paper are: chao-dyn
4
The categories of this paper are: cond-mat
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
29
The categories of this paper are: funct-an
0
The categories of this paper are: hep-ph
35
The categories of this paper are: mtrl-th
3
The categories of this paper are: physics
10
The categories of this paper are: q-bio
36
The categories of this paper are: cmp-lg