Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Towards Deductive Verification of Control Algorithms for Autonomous
  Marine Vehicles   The use of autonomous vehicles in real-world applications is often precluded
by the difficulty of providing safety guarantees for their complex controllers.
The simulation-based testing of these controllers cannot deliver sufficient
safety guarantees, and the use of formal verification is very challenging due
to the hybrid nature of the autonomous vehicles. Our work-in-progress paper
introduces a formal verification approach that addresses this challenge by
integrating the numerical computation of such a system (in GNU/Octave) with its
hybrid system verification by means of a proof assistant (Isabelle). To show
the effectiveness of our approach, we use it to verify differential invariants
of an Autonomous Marine Vehicle with a controller switching between multiple
modes.

13
The categories of this paper are: quant-ph
20
The categories of this paper are: acc-phys
25
The categories of this paper are: patt-sol
22
The categories of this paper are: chao-dyn
31
The categories of this paper are: ao-sci
27
The categories of this paper are: comp-gas
34
The categories of this paper are: chem-ph
33
The categories of this paper are: plasm-ph
2
The categories of this paper are: math
29
The categories of this paper are: funct-an
21
The categories of this paper are: adap-org
18
The categories of this paper are: econ
23
The categories of this paper are: solv-int
17
The categories of this paper are: q-fin
12
The categories of this paper are: nucl-th
9
The categories of this paper are: nlin