赵恒军（Hengjun Zhao）等：学习具有屏障证书的安全神经网络控制器。(2020) 期刊/corr/abs-2009-09826 2009.09826 学习具有屏障证书的安全神经网络控制器。 5 赵恒军 1 夏曾 2 陈陶璐 三 刘志明0001 4 吉姆·伍德科克0001 5 CoRR公司 CoRR公司 abs/2009.09826 2020 dblp记录'journals/corr/abs-2009-09826'的RDF数据的来源信息 2023-02-17T09:02:03+0100