Giuseppe Maria Gallo | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Jan Křetínský
36 publications
Luca Bortolussi
33 publications
Laura Nenzi
12 publications

research

∙ 01/24/2022

Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes

We introduce a similarity function on formulae of signal temporal logic ...

0 Luca Bortolussi, et al. ∙

research

∙ 09/11/2020

A kernel function for Signal Temporal Logic formulae

We discuss how to define a kernel for Signal Temporal Logic (STL) formul...

0 Luca Bortolussi, et al. ∙

Success!

An error occurred