努什·迈赫迪波尔;马蒂亚斯·阿尔霍夫;Radboud Duintjer的Tebbens;卡林·贝尔塔 在自动驾驶中遵守道路规则的正式方法：最新技术和重大挑战。 （英语） 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） 全文： 内政部 链接
张振亚;吕德云;保罗·阿卡尼;马磊;一郎·哈索;赵建军 基于QB-鲁棒性的蒙特卡罗树搜索的有效混合系统伪造。 （英语） Zbl 1493.68227号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。127595-618（2021年）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhang}等人，Lect。注释计算。科学。12759、595--618（2021年；Zbl 1493.68227） 全文： 内政部
苏斯米特·贾;阿什什·蒂瓦里;Sanjit A.Seshia。;沙海、图欣;Natarajan Shankar TeLEx：使用紧密度度量从正面示例学习信号时序逻辑。 （英语） Zbl 1425.68349号 形式方法系统。设计。 54，第3期，364-387（2019）.MSC公司：68T05型 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Jha}等人，《形式方法系统》。设计。54，编号：3364-387（2019；兹bl 1425.68349） 全文： 内政部 链接
托马索·德罗西;亚历山大·唐泽;Sanjit A.Seshia。 使用机器学习组件对网络物理系统进行合成伪造。 （英语） Zbl 1468.68126号 J.汽车。推理 63，第4期，1031-1053（2019）.MSC公司：60年第68季度 68T05型 68T07型 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{T.Dreossi}等人，J.Autom。推理63，No.4，1031--1053（2019；Zbl 1468.68126） 全文： 内政部 arXiv公司
秦，辛;Jyotirmoy V.德斯穆赫。 海报摘要：具有概率保证的信号时序逻辑预测监测。 （英语） Zbl 07120166号 2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。266-267（2019年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{X.Qin}和\textit{J.V.Deshmukh}，in：第22届ACM混合系统国际会议论文集：计算和控制，HSCC 2019，加拿大魁北克蒙特利尔，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。266--267（2019年；Zbl 07120166） 全文： 内政部
Jyotirmoy V.德斯穆赫。;亚历山大·唐泽;Ghosh，灌木;金小青;加维特·朱尼瓦尔;Sanjit A.Seshia。 强大的信号时序逻辑在线监测。 （英语） Zbl 1370.68199号 形式方法系统。设计。 51，第1号，5-30（2017）.MSC公司：60年第68季度 03B44号 68周27 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Deshmukh}等人，《形式方法系统》。设计。51，第1号，第5--30号（2017；Zbl 1370.68199） 全文： 内政部 arXiv公司
Jyotirmoy V.德斯穆赫。;鲁帕克·马朱姆达尔;帕布，维纳亚克S。 使用Skorokhod度量量化一致性。 （英语） Zbl 1360.68629号 形式方法系统。设计。 50，编号2-3，168-206（2017）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Deshmukh}等人，《形式方法系统》。设计。50，编号2--3，168-206（2017；Zbl 1360.68629） 全文： 内政部
埃齐奥·巴托西;卢卡·博托卢西;劳拉·内兹;吉多·桑吉内蒂 利用时间特性的鲁棒性进行随机模型的系统设计。 （英语） Zbl 1327.68147号 西奥。计算。科学。 587, 3-25 (2015).MSC公司：65年第68季度 03B44号 60年第68季度 87年第68季度 第92页第42页 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人，Theor。计算。科学。587，3--25（2015；Zbl 1327.68147） 全文： 内政部
桑卡拉纳拉亚南，斯里拉姆;乔治·费内科斯 使用交叉熵方法伪造混合系统的时间特性。 （英语） Zbl 1362.68183号 第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-1220-2）。125-134 (2012).MSC公司：60年第68季度 65二氧化碳 68瓦20 93A30型 94甲17 PDF格式BibTeX公司 XML格式引用 \textit{S.Sankaranarayanan}和\textit{G.Fainekos}，in：第15届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。125-134（2012；Zbl 1362.68183） 全文： 内政部