Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Game Theory Models for the Verification of the Collective Behaviour of
  Autonomous Cars   The collective of autonomous cars is expected to generate almost optimal
traffic. In this position paper we discuss the multi-agent models and the
verification results of the collective behaviour of autonomous cars. We argue
that non-cooperative autonomous adaptation cannot guarantee optimal behaviour.
The conjecture is that intention aware adaptation with a constraint on
simultaneous decision making has the potential to avoid unwanted behaviour. The
online routing game model is expected to be the basis to formally prove this
conjecture.

14
The categories of this paper are: math-ph
32
The categories of this paper are: atom-ph
7
The categories of this paper are: hep-th
27
The categories of this paper are: comp-gas
8
The categories of this paper are: hep-ex
9
The categories of this paper are: nlin
34
The categories of this paper are: chem-ph
13
The categories of this paper are: quant-ph
30
The categories of this paper are: q-alg
21
The categories of this paper are: adap-org
17
The categories of this paper are: q-fin
12
The categories of this paper are: nucl-th
37
The categories of this paper are: supr-con
29
The categories of this paper are: funct-an
4
The categories of this paper are: cond-mat
33
The categories of this paper are: plasm-ph