Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On the Verification and Validation of AI Navigation Algorithms   This paper explores the state of the art on to methods to verify and validate
navigation algorithms for autonomous surface ships. We perform a systematic
mapping study to find research works published in the last 10 years proposing
new algorithms for autonomous navigation and collision avoidance and we have
extracted what verification and validation approaches have been applied on
these algorithms. We observe that most research works use simulations to
validate their algorithms. However, these simulations often involve just a few
scenarios designed manually. This raises the question if the algorithms have
been validated properly. To remedy this, we propose the use of a systematic
scenario-based testing approach to validate navigation algorithms extensively.

16
The categories of this paper are: stat
6
The categories of this paper are: astro-ph
35
The categories of this paper are: mtrl-th
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
11
The categories of this paper are: hep-lat
27
The categories of this paper are: comp-gas
15
The categories of this paper are: nucl-ex
36
The categories of this paper are: cmp-lg
0
The categories of this paper are: hep-ph
19
The categories of this paper are: eess
2
The categories of this paper are: math
29
The categories of this paper are: funct-an
37
The categories of this paper are: supr-con
13
The categories of this paper are: quant-ph