Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: LTL-Constrained Steady-State Policy Synthesis   Decision-making policies for agents are often synthesized with the constraint
that a formal specification of behaviour is satisfied. Here we focus on
infinite-horizon properties. On the one hand, Linear Temporal Logic (LTL) is a
popular example of a formalism for qualitative specifications. On the other
hand, Steady-State Policy Synthesis (SSPS) has recently received considerable
attention as it provides a more quantitative and more behavioural perspective
on specifications, in terms of the frequency with which states are visited.
Finally, rewards provide a classic framework for quantitative properties. In
this paper, we study Markov decision processes (MDP) with the specification
combining all these three types. The derived policy maximizes the reward among
all policies ensuring the LTL specification with the given probability and
adhering to the steady-state constraints. To this end, we provide a unified
solution reducing the multi-type specification to a multi-dimensional long-run
average reward. This is enabled by Limit-Deterministic B\"uchi Automata (LDBA),
recently studied in the context of LTL model checking on MDP, and allows for an
elegant solution through a simple linear programme. The algorithm also extends
to the general $\omega$-regular properties and runs in time polynomial in the
sizes of the MDP as well as the LDBA.

3
The categories of this paper are: physics
20
The categories of this paper are: acc-phys
24
The categories of this paper are: dg-ga
0
The categories of this paper are: hep-ph
6
The categories of this paper are: astro-ph
32
The categories of this paper are: atom-ph
7
The categories of this paper are: hep-th
10
The categories of this paper are: q-bio
21
The categories of this paper are: adap-org
15
The categories of this paper are: nucl-ex
5
The categories of this paper are: gr-qc
8
The categories of this paper are: hep-ex
9
The categories of this paper are: nlin
34
The categories of this paper are: chem-ph
2
The categories of this paper are: math
23
The categories of this paper are: solv-int