A kernel function for Signal Temporal Logic formulae

09/11/2020

∙

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.

READ FULL TEXT

A kernel function for Signal Temporal Logic formulae

Regularised Least-Squares Regression with Infinite-Dimensional Output Space

Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes

Towards Invertible Semantic-Preserving Embeddings of Logical Formulae

CogSense: A Cognitively Inspired Framework for Perception Adaptation

An Online Stochastic Kernel Machine for Robust Signal Classification

Recursive Multikernel Filters Exploiting Nonlinear Temporal Structure

Write a Classifier: Predicting Visual Classifiers from Unstructured Text

A kernel function for Signal Temporal Logic formulae

Related Research

Regularised Least-Squares Regression with Infinite-Dimensional Output Space

Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes

Towards Invertible Semantic-Preserving Embeddings of Logical Formulae

CogSense: A Cognitively Inspired Framework for Perception Adaptation

An Online Stochastic Kernel Machine for Robust Signal Classification

Recursive Multikernel Filters Exploiting Nonlinear Temporal Structure

Write a Classifier: Predicting Visual Classifiers from Unstructured Text