阿尔贝托·卡萨格兰德;Thao Dang先生;卢卡·多里戈;托马索·德罗西;卡拉广场;埃莉诺拉·皮皮亚 多项式动力系统的参数综合。 （英语） Zbl 07629135号 Inf.计算。 289，A部分，文章ID 104941，30 p.（2022）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Casagrande}等人，《信息计算》。289，A部分，文章ID 104941，30 p.（2022；Zbl 07629135） 全文： DOI程序
埃齐奥·巴托西;罗德里克·布洛姆;马德巴赫，贝内迪克特;奈维迪塔·曼朱纳特;德扬·尼契科维奇 CPS模型中规范覆盖和细化的自适应测试。 （英语） Zbl 07601773号 非线性分析。，混合系统。 46，文章ID 101254，16 p.（2022）.MSC公司：68倍 93至XX PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人，《非线性分析》。，混合系统。46，文章ID 101254，16 p.（2022；Zbl 07601773） 全文： DOI程序
张振亚;吕德云;保罗·阿卡尼;马磊;一郎·哈索;赵建军 在QB鲁棒性的指导下，使用蒙特卡罗树搜索的有效混合系统伪造。 （英语） Zbl 1493.68227号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12759, 595-618 (2021).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhang}等人，Lect。票据计算。科学。12759、595--618（2021年；Zbl 1493.68227） 全文： DOI程序
苏斯米特·贾;阿什什·蒂瓦里;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，编号3，364--387（2019；Zbl 1425.68349） 全文： DOI程序 链接
托马索·德罗西;亚历山大·唐泽;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） 全文： DOI程序 arXiv公司
埃齐奥·巴托西;托马斯·费雷尔;奈维迪塔·曼朱纳特;德扬·尼契科维奇 使用STL定位Simulink/Stateflow模型中的故障。 （英语） 兹比尔1409.68168 第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11日至13日。纽约州纽约市：计算机协会（ACM）。197-206 (2018).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人，in：第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。197-206（2018年；Zbl 1409.68168） 全文： DOI程序
Jyotirmoy V.德斯穆赫。;亚历山大·唐泽;Shromona 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） 全文： DOI程序 arXiv公司
乌斯曼·桑瓦尔;乌迈尔·西迪克 将生物系统的精细化和信号-时间逻辑相结合。 （英语） Zbl 1367.92045号 Geuvers，Herman（编辑）等人，《智能计算机数学》。2017年7月17日至21日在英国爱丁堡举行的第十届国际会议，CICM 2017。诉讼程序。查姆：施普林格（ISBN 978-3-319-62074-9/pbk；978-3-3169-62075-6/电子书）。计算机科学讲义10383。《人工智能课堂讲稿》，333-339（2017）。MSC公司：92立方厘米 00A71号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit｛U.Sanwal｝和\textit｛U.Siddique｝，Lect。票据计算。科学。10383、333--339（2017年；Zbl 1367.92045） 全文： DOI程序
Jyotirmoy V.德斯穆赫。;鲁帕克·马朱姆达尔;Vinayak S.普拉布。 使用斯科罗霍德指标量化合规性。 （英语） 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） 全文： DOI程序
埃齐奥·巴托西;卢卡·博托卢西;劳拉·内兹;吉多·桑吉内蒂 利用时间特性的鲁棒性进行随机模型的系统设计。 （英语） Zbl 1327.68147号 西奥。计算。科学。 587, 3-25 (2015).MSC公司：65年第68季度 03B44号 60年第68季度 87年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人，Theor。计算。科学。587，3--25（2015；Zbl 1327.68147） 全文： DOI程序