努什·迈赫迪波尔;马蒂亚斯·阿尔霍夫;Radboud Duintjer特本斯;卡林·贝尔塔 在自动驾驶中遵守道路规则的正式方法:最新技术和重大挑战。 (英语) Zbl 1519.93159号 Automatica公司 152,文章ID 110692,15 p.(2023).MSC公司:93C85号 93个B03 03B44号 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{N.Mehdipour}等人,Automatica 152,文章ID 110692,15 p.(2023年;Zbl 1519.93159) 全文: 内政部 链接
刘荣建;陆建全 通过插入机制实现无限级不透明度和K级不透明度。 (英语) Zbl 1485.93352号 Automatica公司 140,文章ID 110212,7 p.(2022).MSC公司:93元65角 93磅70 93立方厘米83 PDF格式BibTeX公司 XML格式引用 \textit{R.Liu}和\textit{J.Lu},Automatica 140,文章ID 110212,7 p.(2022;Zbl 1485.93352) 全文: 内政部
阿里·萨拉马蒂;萨代赫·苏贾尼;马吉德·扎马尼 具有信号时序逻辑约束的随机线性系统的数据驱动验证。 (英语) 兹比尔1478.93672 Automatica公司 131,文章ID 109781,10 p.(2021).MSC公司:93E03型 93二氧化碳 03B44号 2015年1月62日 PDF格式BibTeX公司 XML格式引用 \textit{A.Salamati}等人,Automatica 131,文章ID 109781,10 p.(2021;Zbl 1478.93672) 全文: 内政部 链接
瓦西里奥斯,莱夫科普洛斯;玛丽亚姆·坎加普尔 具有有限样本安全保证的环境不确定性下的轨迹规划。 (英语) Zbl 1478.93449号 Automatica公司 131,文章ID 109754,8 p.(2021).MSC公司:93C85号 93E20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Lefkopoulos}和\textit{M.Kamgarpour},Automatica 131,文章ID 109754,8 p.(2021;Zbl 1478.93449) 全文: 内政部 arXiv公司
穆洛省梅拉戈雷斯;康,恩苏克;邝其志。;圣菲拉福顿 网络物理系统监控层的传感器欺骗攻击合成。 (英语) Zbl 1448.93207号 Automatica公司 121,文章ID 109172,第11页(2020年).MSC公司:93元65角 93B52号 93磅70 93立方厘米83 PDF格式BibTeX公司 XML格式引用 \textit{R.Meira-Góes}等人,Automatica 121,文章ID 109172,11 p.(2020;Zbl 1448.93207) 全文: 内政部 arXiv公司
季一丁;吴义钦;圣菲拉福顿 公共和私有插入函数执行不透明性。 (英语) Zbl 1400.93187号 Automatica公司 93, 369-378 (2018).MSC公司:93元65角 65年第68季度 93-04 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ji}等人,《自动化》9369-378(2018;兹比尔1400.93187) 全文: 内政部
阿巴斯·K·扎伊迪。;亚历山大·利维斯(Alexander H.Levis)。 决策规则的验证和验证。 (英语) Zbl 0869.90003号 Automatica公司 33,第2期,155-169(1997).MSC公司:91B06型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Zaidi}和\textit{A.H.Levis},Automatica 33,No.2,155--169(1997;Zbl 0869.90003) 全文: 内政部