Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings First Workshop on Formal Verification of Autonomous Vehicles   These are the proceedings of the workshop on Formal Verification of
Autonomous Vehicles, held on September 19th, 2017 in Turin, Italy, as an
affiliated workshop of the International Conference on integrated Formal
Methods (iFM 2017). The workshop aim is to bring together researchers from the
formal verification community that are developing formal methods for autonomous
vehicles as well as researchers working, e.g., in the area of control theory or
robotics, interested in applying verification techniques for designing and
developing of autonomous vehicles.

37
The categories of this paper are: supr-con
9
The categories of this paper are: nlin
17
The categories of this paper are: q-fin
29
The categories of this paper are: funct-an
0
The categories of this paper are: hep-ph
34
The categories of this paper are: chem-ph
21
The categories of this paper are: adap-org
3
The categories of this paper are: physics
7
The categories of this paper are: hep-th
6
The categories of this paper are: astro-ph
30
The categories of this paper are: q-alg
25
The categories of this paper are: patt-sol
23
The categories of this paper are: solv-int
36
The categories of this paper are: cmp-lg
26
The categories of this paper are: bayes-an
27
The categories of this paper are: comp-gas