79 citations · 233 across the 21 of their papers we have counts for
1 paper · 1 filter
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…