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

Luca Bortolussi, Giuseppe Maria Gallo, Jan Kretnsk, Laura Nenzi

Browse the full TACAS paper archive.