拉多斯拉夫·伊万诺夫;泰勒·卡彭特。;詹姆斯·韦默;拉杰夫·阿鲁尔;乔治·帕帕斯。;李因苏普 案例研究:使用神经网络控制器验证自动赛车的安全性。 (英文) Zbl 07300869号 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第28条,第7页(2020年)。 引用于6文件 MSC公司: 65年第68季度 形式语言和自动机 60年第68季度 规范和验证(程序逻辑、模型检查等) 93立方 由微分方程以外的函数关系控制的控制/观测系统(例如混合系统和开关系统) 关键词:F1/10赛车;学习控制;神经网络验证 PDF格式BibTeX公司 XML格式引用 \textit{R.Ivanov}等人,in:第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼与虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第28条,第7页(2020;Zbl 07300869) 全文: 内政部 arXiv公司