A kernel function for Signal Temporal Logic formulae
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2020
- DOI:
- 10.48550/arXiv.2009.05484
- arXiv:
- arXiv:2009.05484
- Bibcode:
- 2020arXiv200905484B
- Keywords:
-
- Computer Science - Machine Learning;
- Computer Science - Logic in Computer Science;
- Statistics - Machine Learning
- E-Print:
- 12 pages, 3 figures