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 |