Dataset Groups Activity Stream Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes The dataset is used to evaluate the performance of the STL kernel for signal temporal logic. BibTex: @dataset{Luca_Bortolussi_and_Giuseppe_Maria_Gallo_and_Jan_Křetínský_and_Laura_Nenzi_2024, abstract = {The dataset is used to evaluate the performance of the STL kernel for signal temporal logic.}, author = {Luca Bortolussi and Giuseppe Maria Gallo and Jan Křetínský and Laura Nenzi}, doi = {10.57702/0q6klzum}, institution = {No Organization}, keyword = {'kernel trick', 'signal temporal logic', 'stochastic processes'}, month = {dec}, publisher = {TIB}, title = {Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes}, url = {https://service.tib.eu/ldmservice/dataset/learning-model-checking-and-the-kernel-trick-for-signal-temporal-logic-on-stochastic-processes}, year = {2024} }
