Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Equivalence of Games with Probabilistic Uncertainty and
  Partial-observation Games   We introduce games with probabilistic uncertainty, a natural model for
controller synthesis in which the controller observes the state of the system
through imprecise sensors that provide correct information about the current
state with a fixed probability. That is, in each step, the sensors return an
observed state, and given the observed state, there is a probability
distribution (due to the estimation error) over the actual current state. The
controller must base its decision on the observed state (rather than the actual
current state, which it does not know). On the other hand, we assume that the
environment can perfectly observe the current state. We show that our model can
be reduced in polynomial time to standard partial-observation stochastic games,
and vice-versa. As a consequence we establish the precise decidability frontier
for the new class of games, and for most of the decidable problems establish
optimal complexity results.

24
The categories of this paper are: dg-ga
35
The categories of this paper are: mtrl-th
34
The categories of this paper are: chem-ph
13
The categories of this paper are: quant-ph
18
The categories of this paper are: econ
12
The categories of this paper are: nucl-th
29
The categories of this paper are: funct-an
32
The categories of this paper are: atom-ph
10
The categories of this paper are: q-bio
25
The categories of this paper are: patt-sol
21
The categories of this paper are: adap-org
5
The categories of this paper are: gr-qc
11
The categories of this paper are: hep-lat
9
The categories of this paper are: nlin
0
The categories of this paper are: hep-ph
23
The categories of this paper are: solv-int