赵恒军 夏曾 陈陶璐 刘志明0001 吉姆·伍德科克0001 学习具有屏障证书的安全神经网络控制器。 177-185 2020 设置 https://doi.org/10.1007/978-3-030-62822-2_11 conf/setta/2020 db/conf/setta/setta2020.html#ZhaoZCLW20