TY  - RPRT
TI  - Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes
AU  - Luca Bortolussi
AU  - Giuseppe Maria Gallo
AU  - Jan Křetínský
AU  - Laura Nenzi
PY  - 2022
UR  - https://arxiv.org/abs/2201.09928
ID  - 2201.09928
ER  -