Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Formalizing Traffic Rules for Machine Interpretability   Autonomous vehicles need to be designed to abide by the same rules that
humans follow. This is challenging, because traffic rules are fuzzy and not
well defined, making them incomprehensible to machines. Satisfaction cannot be
incorporated in a planning component without proper formalization, nor can it
be monitored and verified during simulation or testing. However, no research
work has provided a consistent set of machine-interpretable traffic rules for a
given operational driving domain. In this paper, we propose a methodology for
the legal study and formalization of traffic rules in a formal language. We use
Linear Temporal Logic as a formal specification language to describe temporal
behaviors, capable of capturing a wide range of traffic rules. We contribute a
formalized set of traffic rules for dual carriageways and evaluate the
effectiveness of our formalized rules on a public dataset.

24
The categories of this paper are: dg-ga
10
The categories of this paper are: q-bio
17
The categories of this paper are: q-fin
20
The categories of this paper are: acc-phys
25
The categories of this paper are: patt-sol
35
The categories of this paper are: mtrl-th
37
The categories of this paper are: supr-con
8
The categories of this paper are: hep-ex
33
The categories of this paper are: plasm-ph
18
The categories of this paper are: econ
28
The categories of this paper are: alg-geom
12
The categories of this paper are: nucl-th
31
The categories of this paper are: ao-sci
0
The categories of this paper are: hep-ph
9
The categories of this paper are: nlin
36
The categories of this paper are: cmp-lg