NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems

NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems

Data and Resources

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
Yasser Shoukry