Papers
arxiv:2009.05484
A kernel function for Signal Temporal Logic formulae
Published on Sep 11, 2020
Authors:
Abstract
A kernel for Signal Temporal Logic (STL) formulae is defined to enable the use of kernel-based machine learning algorithms in STL, demonstrating its application in a regression problem for probabilistic models.
AI-generated summary
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.
Models citing this paper 1
Datasets citing this paper 0
No dataset linking this paper
Cite arxiv.org/abs/2009.05484 in a dataset README.md to link it from this page.
Spaces citing this paper 0
No Space linking this paper
Cite arxiv.org/abs/2009.05484 in a Space README.md to link it from this page.
Collections including this paper 0
No Collection including this paper
Add this paper to a
collection
to link it from this page.