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…