Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive
  Polynomials   This paper presents a case study for the application of semiring semantics
for fixed-point formulae to the analysis of strategies in B\"uchi games.
Semiring semantics generalizes the classical Boolean semantics by permitting
multiple truth values from certain semirings. Evaluating the fixed-point
formula that defines the winning region in a given game in an appropriate
semiring of polynomials provides not only the Boolean information on who wins,
but also tells us how they win and which strategies they might use. This is
well-understood for reachability games, where the winning region is definable
as a least fixed point. The case of B\"chi games is of special interest, not
only due to their practical importance, but also because it is the simplest
case where the fixed-point definition involves a genuine alternation of a
greatest and a least fixed point.
  We show that, in a precise sense, semiring semantics provide information
about all absorption-dominant strategies - strategies that win with minimal
effort, and we discuss how these relate to positional and the more general
persistent strategies. This information enables applications such as game
synthesis or determining minimal modifications to the game needed to change its
outcome.

8
The categories of this paper are: hep-ex
28
The categories of this paper are: alg-geom
18
The categories of this paper are: econ
25
The categories of this paper are: patt-sol
17
The categories of this paper are: q-fin
6
The categories of this paper are: astro-ph
20
The categories of this paper are: acc-phys
32
The categories of this paper are: atom-ph
5
The categories of this paper are: gr-qc
37
The categories of this paper are: supr-con
36
The categories of this paper are: cmp-lg
34
The categories of this paper are: chem-ph
33
The categories of this paper are: plasm-ph
26
The categories of this paper are: bayes-an
19
The categories of this paper are: eess
23
The categories of this paper are: solv-int