Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Secure Control under Partial Observability with Temporal Logic
  Constraints   This paper studies the synthesis of control policies for an agent that has to
satisfy a temporal logic specification in a partially observable environment,
in the presence of an adversary. The interaction of the agent (defender) with
the adversary is modeled as a partially observable stochastic game. The search
for policies is limited to over the space of finite state controllers, which
leads to a tractable approach to determine policies. The goal is to generate a
defender policy to maximize satisfaction of a given temporal logic
specification under any adversary policy. We relate the satisfaction of the
specification in terms of reaching (a subset of) recurrent states of a Markov
chain. We then present a procedure to determine a set of defender and adversary
finite state controllers of given sizes that will satisfy the temporal logic
specification. We illustrate our approach with an example.

23
The categories of this paper are: solv-int
29
The categories of this paper are: funct-an
17
The categories of this paper are: q-fin
12
The categories of this paper are: nucl-th
16
The categories of this paper are: stat
3
The categories of this paper are: physics
8
The categories of this paper are: hep-ex
32
The categories of this paper are: atom-ph
31
The categories of this paper are: ao-sci
13
The categories of this paper are: quant-ph
36
The categories of this paper are: cmp-lg
35
The categories of this paper are: mtrl-th
28
The categories of this paper are: alg-geom
25
The categories of this paper are: patt-sol
5
The categories of this paper are: gr-qc
30
The categories of this paper are: q-alg