亚历山德罗·阿巴特;哈尼尔·巴博萨;克拉克·巴雷特;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林;安德鲁·雷诺兹;塞萨尔·蒂内利 用非平凡常数合成程序。 (英语) 兹伯利07702725 J.汽车。推理 67,第2号,第19号论文,第25页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}等人,J.Autom。推理67,第2号,第19号论文,第25页(2023;Zbl 07702725) 全文: DOI程序
达里奥·卡塔鲁扎;亚历山德罗·阿巴特;彼得·施拉梅尔;丹尼尔·克罗宁 通过抽象加速度对具有输入的防护LTI模型进行无边界时间安全验证。 (英语) Zbl 07356971号 J.汽车。推理 65,编号2,157-203(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Cattaruzza}等人,J.Autom。推理65,No.2,157--203(2021;Zbl 07356971) 全文: DOI程序
丹尼尔·克罗宁(编辑);安德烈·里巴尔琴科(编辑) 前言:插补专刊。 (英语) Zbl 1336.00113号 J.汽车。推理 57,第1期,第1-2期(2016).MSC公司:00B15号机组 03-06 03C40号 68-06 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}(编辑)和textit{A.Rybalchenko}(主编),J.Autom。推理57,No.1,1--2(2016;Zbl 1336.00113) 全文: DOI程序
安吉洛·布里洛特;丹尼尔·克罗宁;菲利普·吕默;托马斯·瓦尔 无量词Presburger算法的插值序列演算。 (英语) Zbl 1259.03043号 J.汽车。推理 47,第4期,341-367(2011).MSC公司:03B70号 03C40号 07年3月 30楼03号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Brillout}等人,J.Autom。推理47,No.4,341--367(2011;Zbl 1259.03043) 全文: DOI程序 链接