Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: From Specifications to Behavior: Maneuver Verification in a Semantic
  State Space   To realize a market entry of autonomous vehicles in the foreseeable future,
the behavior planning system will need to abide by the same rules that humans
follow. Product liability cannot be enforced without a proper solution to the
approval trap. In this paper, we define a semantic abstraction of the
continuous space and formalize traffic rules in linear temporal logic (LTL).
Sequences in the semantic state space represent maneuvers a high-level planner
could choose to execute. We check these maneuvers against the formalized
traffic rules using runtime verification. By using the standard model checker
NuSMV, we demonstrate the effectiveness of our approach and provide runtime
properties for the maneuver verification. We show that high-level behavior can
be verified in a semantic state space to fulfill a set of formalized rules,
which could serve as a step towards safety of the intended functionality.

14
The categories of this paper are: math-ph
18
The categories of this paper are: econ
29
The categories of this paper are: funct-an
15
The categories of this paper are: nucl-ex
16
The categories of this paper are: stat
6
The categories of this paper are: astro-ph
3
The categories of this paper are: physics
28
The categories of this paper are: alg-geom
22
The categories of this paper are: chao-dyn
33
The categories of this paper are: plasm-ph
8
The categories of this paper are: hep-ex
13
The categories of this paper are: quant-ph
2
The categories of this paper are: math
21
The categories of this paper are: adap-org
23
The categories of this paper are: solv-int
0
The categories of this paper are: hep-ph