You're currently viewing an old version of this dataset. To see the current version, click here.

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.

Data and Resources

This dataset has no data

Cite this as

Luca Bortolussi, Giuseppe Maria Gallo, Jan Křetínský, Laura Nenzi (2024). Dataset: Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes. https://doi.org/10.57702/0q6klzum

Private DOI This DOI is not yet resolvable.
It is available for use in manuscripts, and will be published when the Dataset is made public.

Additional Info

Field	Value
Created	December 16, 2024
Last update	December 16, 2024
Defined In	https://doi.org/10.48550/arXiv.2201.09928
Author	Luca Bortolussi
More Authors	Giuseppe Maria Gallo Jan Křetínský Laura Nenzi
Homepage	https://link.springer.com/chapter/10.1007/978-3-030-60132-4_1