TY  - RPRT
TI  - NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems
AU  - Xiaowu Sun
AU  - Yasser Shoukry
PY  - 2022
UR  - https://arxiv.org/abs/2111.08853
ID  - 2111.08853
ER  -