达里奥·卡塔鲁扎;亚历山德罗·阿巴特;彼得·施拉梅尔;丹尼尔·克罗宁 通过抽象加速度对具有输入的防护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） 全文： 内政部 OA许可证
艾丽卡·阿尔布拉汉姆;约翰·阿伯特;贝恩德·贝克尔;安娜·比加蒂（Anna M.Bigatti）。;Brain，马丁;布赫伯格，布鲁诺;亚历山德罗·西马蒂;詹姆斯·H·达文波特。;英格兰，马修;帕斯卡·方丹;史蒂芬·福雷斯特;阿尔贝托·格里乔;丹尼尔·克罗宁;Werner M.塞勒。;托马斯·斯特姆 联合国安全理事会\（^2）：可满足性检查满足符号计算。（项目文件）。 （英语） Zbl 1344.68198号 Michael Kohlhase（编辑）等人，《智能计算机数学》。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。查姆：施普林格（ISBN 978-3-319-42546-7/pbk；978-3-316-42547-4/电子书）。计算机科学课程讲稿9791。《人工智能讲义》，28-43（2016）。MSC公司：68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit｛E.Ábrahám｝等人，Lect。注释计算。科学。9791，28-43（2016；Zbl 1344.68198） 全文： 内政部 arXiv公司
达里奥·卡塔鲁扎;亚历山德罗·阿巴特;彼得·施拉梅尔;丹尼尔·克罗宁 利用抽象加速度对具有输入的防护LTI系统进行无界时间分析。 （英语） Zbl 1419.68041号 Blazy，Sandrine（编辑）等人，《静态分析》。2015年9月9日至11日，第22届国际研讨会，SAS，法国圣马洛。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9291, 312-331 (2015).MSC公司：68N99型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cattaruzza}等人，Lect。注释计算。科学。9291、312--331（2015；Zbl 1419.68041） 全文： 内政部 arXiv公司 链接
布莱恩，马丁;维杰·德·席尔瓦;阿尔贝托·格里乔;利奥波德·哈勒;丹尼尔·克罗宁 利用抽象冲突驱动子句学习确定浮点逻辑。 （英语） Zbl 1317.68110号 形式方法系统。设计。 45，第2期，213-245（2014）.MSC公司：60年第68季度 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Brain}等人，《形式方法系统》。设计。45，第2号，213--245（2014；Zbl 1317.68110） 全文： 内政部 OA许可证