no code implementations • 24 Jan 2022 • Luca Bortolussi, Giuseppe Maria Gallo, Jan Křetínský, Laura Nenzi
We introduce a similarity function on formulae of signal temporal logic (STL).
no code implementations • 11 Sep 2020 • Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi
We discuss how to define a kernel for Signal Temporal Logic (STL) formulae.