Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Responsibility and verification: Importance value in temporal logics   We aim at measuring the influence of the nondeterministic choices of a part
of a system on its ability to satisfy a specification. For this purpose, we
apply the concept of Shapley values to verification as a means to evaluate how
important a part of a system is. The importance of a component is measured by
giving its control to an adversary, alone or along with other components, and
testing whether the system can still fulfill the specification. We study this
idea in the framework of model-checking with various classical types of
linear-time specification, and propose several ways to transpose it to
branching ones. We also provide tight complexity bounds in almost every case.

9
The categories of this paper are: nlin
22
The categories of this paper are: chao-dyn
11
The categories of this paper are: hep-lat
6
The categories of this paper are: astro-ph
13
The categories of this paper are: quant-ph
14
The categories of this paper are: math-ph
30
The categories of this paper are: q-alg
28
The categories of this paper are: alg-geom
10
The categories of this paper are: q-bio
33
The categories of this paper are: plasm-ph
2
The categories of this paper are: math
34
The categories of this paper are: chem-ph
8
The categories of this paper are: hep-ex
23
The categories of this paper are: solv-int
15
The categories of this paper are: nucl-ex
25
The categories of this paper are: patt-sol