Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Falsification of Cyber-Physical Systems with Robustness-Guided Black-Box
  Checking   For exhaustive formal verification, industrial-scale cyber-physical systems
(CPSs) are often too large and complex, and lightweight alternatives (e.g.,
monitoring and testing) have attracted the attention of both industrial
practitioners and academic researchers. Falsification is one popular testing
method of CPSs utilizing stochastic optimization. In state-of-the-art
falsification methods, the result of the previous falsification trials is
discarded, and we always try to falsify without any prior knowledge. To
concisely memorize such prior information on the CPS model and exploit it, we
employ Black-box checking (BBC), which is a combination of automata learning
and model checking. Moreover, we enhance BBC using the robust semantics of STL
formulas, which is the essential gadget in falsification. Our experiment
results suggest that our robustness-guided BBC outperforms a state-of-the-art
falsification tool.

15
The categories of this paper are: nucl-ex
16
The categories of this paper are: stat
13
The categories of this paper are: quant-ph
2
The categories of this paper are: math
4
The categories of this paper are: cond-mat
11
The categories of this paper are: hep-lat
20
The categories of this paper are: acc-phys
32
The categories of this paper are: atom-ph
28
The categories of this paper are: alg-geom
17
The categories of this paper are: q-fin
23
The categories of this paper are: solv-int
6
The categories of this paper are: astro-ph
30
The categories of this paper are: q-alg
18
The categories of this paper are: econ
12
The categories of this paper are: nucl-th
7
The categories of this paper are: hep-th