Original Metadata
The json representation of the dataset with its distributions based on DCAT.
Cite this as
Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee, Thomas A. Henzinger (2024). Dataset: Stability Verification in Stochastic Control Systems via Neural Network. Resource: Original Metadata. https://doi.org/10.57702/6kt37k9g
DOI retrieved: December 16, 2024
Additional Information
| Field | Value |
|---|---|
| Created | December 16, 2024 |
| Last updated | December 16, 2024 |
| Format | JSON |