Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Complexity of Learning Linear Temporal Formulas from Examples   In this paper we initiate the study of the computational complexity of
learning linear temporal logic (LTL) formulas from examples. We construct
approximation algorithms for fragments of LTL and prove hardness results; in
particular we obtain tight bounds for approximation of the fragment containing
only the next operator and conjunctions, and prove NP-completeness results for
many fragments.

13
The categories of this paper are: quant-ph
10
The categories of this paper are: q-bio
22
The categories of this paper are: chao-dyn
29
The categories of this paper are: funct-an
7
The categories of this paper are: hep-th
27
The categories of this paper are: comp-gas
12
The categories of this paper are: nucl-th
34
The categories of this paper are: chem-ph
25
The categories of this paper are: patt-sol
35
The categories of this paper are: mtrl-th
5
The categories of this paper are: gr-qc
30
The categories of this paper are: q-alg
18
The categories of this paper are: econ
4
The categories of this paper are: cond-mat
19
The categories of this paper are: eess
2
The categories of this paper are: math