Xiaowu Sun, Yasser Shoukry. NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems. In 61st IEEE Conference on Decision and Control, CDC 2022, Cancun, Mexico, December 6-9, 2022. pages 2905-2910, IEEE, 2022. [doi]
Abstract is missing.