阿波法兹·拉瓦伊;萨代赫·苏贾尼;亚历山德罗·阿巴特;马吉德·扎马尼 随机混合系统的自动验证和综合：综述。 （英语） Zbl 1504.93389号 Automatica公司 146，文章ID 110617，40 p.（2022）.MSC公司：第93页第12页 93立方 93C55美元 90立方厘米 93-02 PDF格式BibTeX公司 XML格式引用 \textit{A.Lavaei}等人，Automatica 146，文章ID 110617，40 p.（2022；Zbl 1504.93389） 全文： 内政部 arXiv公司
安德烈亚·佩鲁福;亚历山德罗·阿巴特 参数随机过程的形式化抽象和综合。 （英语） Zbl 07498005号 Dima，Catalin（编辑）等，《定时系统的形式化建模和分析》。第19届国际会议，FORMATS 2021，巴黎，法国，2021年8月24-26日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。12860, 135-153 (2021).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit｛A.Peruffo｝和\textit｛A.Abate｝，Lect。注释计算。科学。12860135-153（2021；Zbl 07498005） 全文： 内政部
达里奥·卡塔鲁扎;亚历山德罗·阿巴特;彼得·施拉梅尔;丹尼尔·克罗宁 通过抽象加速度对具有输入的防护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许可证
达里奥·卡塔鲁扎;亚历山德罗·阿巴特;彼得·施拉梅尔;丹尼尔·克罗宁 利用抽象加速度对具有输入的防护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公司 链接
马丁·范策尔;塞巴斯蒂安·格温;保罗·克罗格;亚历山德罗·阿巴特;Joost-Pieter卡托恩 概率混合系统中的多目标参数综合。 （英语） Zbl 1465.68177号 Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。9268, 93-107 (2015).MSC公司：60年第68季度 65年第68季度 87年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人，Lect。注释计算。科学。9268、93-107（2015年；Zbl 1465.68177） 全文： 内政部