Dataset Groups Activity Stream NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems BibTex: @dataset{Xiaowu_Sun_and_Yasser_Shoukry_2024, abstract = {NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems}, author = {Xiaowu Sun and Yasser Shoukry}, doi = {10.57702/2lvkun6x}, institution = {No Organization}, keyword = {'Abstraction-Based Control', 'Neural Networks', 'Stochastic Systems'}, month = {dec}, publisher = {TIB}, title = {NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems}, url = {https://service.tib.eu/ldmservice/dataset/nnsynth--neural-network-guided-abstraction-based-controller-synthesis-for-stochastic-systems}, year = {2024} }
