Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Formal Specification and Verification of Autonomous Robotic Systems: A
  Survey   Autonomous robotic systems are complex, hybrid, and often safety-critical;
this makes their formal specification and verification uniquely challenging.
Though commonly used, testing and simulation alone are insufficient to ensure
the correctness of, or provide sufficient evidence for the certification of,
autonomous robotics. Formal methods for autonomous robotics has received some
attention in the literature, but no resource provides a current overview. This
paper systematically surveys the state-of-the-art in formal specification and
verification for autonomous robotics. Specially, it identifies and categorises
the challenges posed by, the formalisms aimed at, and the formal approaches for
the specification and verification of autonomous robotics.

15
The categories of this paper are: nucl-ex
10
The categories of this paper are: q-bio
24
The categories of this paper are: dg-ga
2
The categories of this paper are: math
30
The categories of this paper are: q-alg
17
The categories of this paper are: q-fin
33
The categories of this paper are: plasm-ph
11
The categories of this paper are: hep-lat
22
The categories of this paper are: chao-dyn
37
The categories of this paper are: supr-con
29
The categories of this paper are: funct-an
9
The categories of this paper are: nlin
34
The categories of this paper are: chem-ph
16
The categories of this paper are: stat
20
The categories of this paper are: acc-phys
28
The categories of this paper are: alg-geom