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
Data and Resources
-
Original MetadataJSON
The json representation of the dataset with its distributions based on DCAT.
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
DOI retrieved: December 16, 2024
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 |
|
| Homepage | https://link.springer.com/chapter/10.1007/978-3-030-60132-4_1 |