提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/cav/YangZLZTZL21AU-Yang、ZhengfengAU-Zhang、Yidan阿林，王AU-曾，夏AU-Tang、XiaochaoAU-Zeng、ZhenbingAU-刘志明TI-一种通过障碍证书生成实现非线性系统安全强化学习的迭代方案。BT-计算机辅助验证-第33届国际会议，CAV 2021，虚拟事件，2021年7月20日至23日，会议记录，第一部分SP-467EP-4902021年上半年//DO-2007年10月10日/978-3-030-81685-8_22UR-（欧元）https://doi.org/10.1007/978-3-030-81685-8_22急诊室-