赵恒军等人：学习具有屏障证书的安全神经网络控制器。(2021) 期刊/fac/ZhaoZCLW21 10.1007/S00165-021-00544-5 学习具有屏障证书的安全神经网络控制器。 5 赵恒军 1 夏曾 2 陈陶璐 三 刘志明0001 4 吉姆·伍德科克0001 5 437-455 形式方面计算。 形式方面计算。 33 三 2021 dblp记录'journals/fac/ZhaoZCLW21'的RDF数据的来源信息 2023-02-17T09:02:03+0100