Cite this as

Xiaowu Sun, Yasser Shoukry (2024). Dataset: NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems. Resource: Original Metadata. https://doi.org/10.57702/2lvkun6x

DOI retrieved: December 16, 2024

Additional Information

Field Value
Created December 16, 2024
Last updated December 16, 2024
Format JSON