Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Modular Verification of Vehicle Platooning with Respect to Decisions,
  Space and Time   The spread of autonomous systems into safety-critical areas has increased the
demand for their formal verification, not only due to stronger certification
requirements but also to public uncertainty over these new technologies.
However, the complex nature of such systems, for example, the intricate
combination of discrete and continuous aspects, ensures that whole system
verification is often infeasible. This motivates the need for novel analysis
approaches that modularise the problem, allowing us to restrict our analysis to
one particular aspect of the system while abstracting away from others. For
instance, while verifying the real-time properties of an autonomous system we
might hide the details of the internal decision-making components. In this
paper we describe verification of a range of properties across distinct
dimesnions on a practical hybrid agent architecture. This allows us to verify
the autonomous decision-making, real-time aspects, and spatial aspects of an
autonomous vehicle platooning system. This modular approach also illustrates
how both algorithmic and deductive verification techniques can be applied for
the analysis of different system subcomponents.

12
The categories of this paper are: nucl-th
11
The categories of this paper are: hep-lat
24
The categories of this paper are: dg-ga
27
The categories of this paper are: comp-gas
7
The categories of this paper are: hep-th
9
The categories of this paper are: nlin
17
The categories of this paper are: q-fin
3
The categories of this paper are: physics
14
The categories of this paper are: math-ph
25
The categories of this paper are: patt-sol
8
The categories of this paper are: hep-ex
34
The categories of this paper are: chem-ph
20
The categories of this paper are: acc-phys
32
The categories of this paper are: atom-ph
22
The categories of this paper are: chao-dyn
26
The categories of this paper are: bayes-an