2 papers
cs.LO2022
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes
Luca Bortolussi, Giuseppe Maria Gallo, Jan Křetínský +1
We introduce a similarity function on formulae of signal temporal logic (STL). It comes in the form of a kernel function, well known in machine learning as a conceptually and compu…
cs.LG2020
A kernel function for Signal Temporal Logic formulae
Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi
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 ker…