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
This dataset has no data
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
Private DOI This DOI is not yet resolvable.It is available for use in manuscripts, and will be published when the Dataset is made public.
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 |
|