Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Towards Assume-Guarantee Profiles for Autonomous Vehicles   Rules or specifications for autonomous vehicles are currently formulated on a
case-by-case basis, and put together in a rather ad-hoc fashion. As a step
towards eliminating this practice, we propose a systematic procedure for
generating a set of supervisory specifications for self-driving cars that are
1) associated with a distributed assume-guarantee structure and 2)
characterizable by the notion of consistency and completeness. Besides helping
autonomous vehicles make better decisions on the road, the assume-guarantee
contract structure also helps address the notion of blame when undesirable
events occur. We give several game-theoretic examples to demonstrate
applicability of our framework.

0
The categories of this paper are: hep-ph
32
The categories of this paper are: atom-ph
8
The categories of this paper are: hep-ex
37
The categories of this paper are: supr-con
11
The categories of this paper are: hep-lat
14
The categories of this paper are: math-ph
4
The categories of this paper are: cond-mat
20
The categories of this paper are: acc-phys
23
The categories of this paper are: solv-int
16
The categories of this paper are: stat
2
The categories of this paper are: math
36
The categories of this paper are: cmp-lg
27
The categories of this paper are: comp-gas
18
The categories of this paper are: econ
28
The categories of this paper are: alg-geom
9
The categories of this paper are: nlin