2000 character limit reached
A kernel function for Signal Temporal Logic formulae
Published 11 Sep 2020 in cs.LG, cs.LO, and stat.ML | (2009.05484v1)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.