Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Deterministic Automata for the (F,G)-fragment of LTL   When dealing with linear temporal logic properties in the setting of e.g.
games or probabilistic systems, one often needs to express them as
deterministic omega-automata. In order to translate LTL to deterministic
omega-automata, the traditional approach first translates the formula to a
non-deterministic B\"uchi automaton. Then a determinization procedure such as
of Safra is performed yielding a deterministic \omega-automaton. We present a
direct translation of the (F,G)-fragment of LTL into deterministic
\omega-automata with no determinization procedure involved. Since our approach
is tailored to LTL, we often avoid the typically unnecessarily large blowup
caused by general determinization algorithms. We investigate the complexity of
this translation and provide experimental results and compare them to the
traditional method.

14
The categories of this paper are: math-ph
16
The categories of this paper are: stat
20
The categories of this paper are: acc-phys
19
The categories of this paper are: eess
34
The categories of this paper are: chem-ph
12
The categories of this paper are: nucl-th
15
The categories of this paper are: nucl-ex
7
The categories of this paper are: hep-th
28
The categories of this paper are: alg-geom
36
The categories of this paper are: cmp-lg
30
The categories of this paper are: q-alg
9
The categories of this paper are: nlin
35
The categories of this paper are: mtrl-th
0
The categories of this paper are: hep-ph
11
The categories of this paper are: hep-lat
31
The categories of this paper are: ao-sci