Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Adaptive Stress Testing Formulation   Validation is a key challenge in the search for safe autonomy. Simulations
are often either too simple to provide robust validation, or too complex to
tractably compute. Therefore, approximate validation methods are needed to
tractably find failures without unsafe simplifications. This paper presents the
theory behind one such black-box approach: adaptive stress testing (AST). We
also provide three examples of validation problems formulated to work with AST.

29
The categories of this paper are: funct-an
15
The categories of this paper are: nucl-ex
32
The categories of this paper are: atom-ph
23
The categories of this paper are: solv-int
22
The categories of this paper are: chao-dyn
8
The categories of this paper are: hep-ex
30
The categories of this paper are: q-alg
31
The categories of this paper are: ao-sci
17
The categories of this paper are: q-fin
7
The categories of this paper are: hep-th
25
The categories of this paper are: patt-sol
2
The categories of this paper are: math
21
The categories of this paper are: adap-org
34
The categories of this paper are: chem-ph
12
The categories of this paper are: nucl-th
26
The categories of this paper are: bayes-an