论文标题
信号时间逻辑公式的内核函数
A kernel function for Signal Temporal Logic formulae
论文作者
论文摘要
我们讨论如何定义信号时间逻辑（STL）公式的内核。这样的内核使我们能够将公式的空间嵌入希尔伯特空间中，并在STL的背景下打开基于内核的机器学习算法的使用。我们将此想法的应用于公式空间中的回归问题，用于概率模型。
We discuss how to define a kernel for Signal Temporal Logic (STL) formulae. Such a kernel allows us to embed the space of formulae into a Hilbert space, and opens up the use of kernel-based machine learning algorithms in the context of STL. We show an application of this idea to a regression problem in formula space for probabilistic models.
