Xiaowu Sun, Yasser Shoukry: NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems. CDC 2022: 2905-2910