亚喀什阿披舍克;苏德,哈里;Jeannin、Jean-Baptiste 汽车转弯时制动的正式验证。 (英语) Zbl 07300868号 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第27条,第11页(2020年)。 MSC公司: 65年第68季度 形式语言和自动机 60年第68季度 规范和验证(程序逻辑、模型检查等) 93立方 由微分方程以外的函数关系控制的控制/观测系统(例如混合系统和开关系统) 关键词:汽车控制;避免碰撞;形式验证;非线性混合系统 软件:d到达;凯伊迈拉 PDF格式BibTeX公司 XML格式引用 \textit{A.Abhishek}等人,在:第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼和虚拟,2020年4月21-24日。纽约州纽约市:计算机协会(ACM)。第27条,第11页(2020;Zbl 07300868) 全文: DOI程序