You're currently viewing an old version of this dataset. To see the current version, click here.
Original Metadata
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. Resource: Original Metadata. https://doi.org/10.57702/0q6klzum
DOI retrieved: December 16, 2024
Additional Information
| Field | Value |
|---|---|
| Created | unknown |
| Last updated | December 16, 2024 |
| Format | application/json |