@第{zbMATH07388000条，作者={赵、恒军和曾、夏和陈、陶璐和刘、志明和伍德考克、吉姆}，Title={使用屏障证书学习安全的神经网络控制器}，FJournal={计算的形式方面}，日志={正式Asp.Compute.}，ISSN={0934-5043}，体积={33}，数字={3}，页码={437--455}，年份={2021}，语言={英语}，DOI={10.1007/s00165-021-00544-5}，关键词={93B50,93D20,68T07}，zbMATH={7388000}，Zbl={1521.93054}}