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.

中文翻译：

---

从例子中学习线性时间公式的复杂性

在本文中，我们从示例开始研究学习线性时间逻辑（LTL）公式的计算复杂性。我们构造了LTL片段的近似算法并证明了硬度结果；特别是，我们获得了仅包含下一个运算符和连接的片段的近似逼近边界，并证明了许多片段的NP完全性结果。