You're currently viewing an old version of this dataset. To see the current version, click here.
NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems
Data and Resources
-
Original MetadataJSON
The json representation of the dataset with its distributions based on DCAT.
Cite this as
Xiaowu Sun, Yasser Shoukry (2024). Dataset: NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems. https://doi.org/10.57702/2lvkun6x
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.2111.08853 |
| Author | Xiaowu Sun |
| More Authors |
|