ZBMaX中的参考文献（17篇）1标准条款）

1. Dreossi，Tommaso；多兹，亚历山大；塞西亚，Sanjit A.：用机器学习组件组成的网络物理系统的伪造（2019）
2. Jha，Susmit；蒂瓦里，亚希什；塞希亚，Sanjit A.；Sahai，Tuhin；Shankar，Natarajan：电传：用严密性度量（2019）从正例学习信号时态逻辑
3. Pierre Loic，亨利昂，迪迪尔，沙维尔，半离散多项式系统可达集的半定逼近（2019）
4. Schneider、Gerardo、阿伦特、沃尔夫冈、Bartocci、Ezio、比安库利、多梅尼科、科伦坡、克里斯蒂安、法尔科内、伊利亚斯、Francalanza、法尔科内、克尔斯蒂、斯拉安、洛伦萨、琼·奥米；埃尔、德扬、佩斯、阿；鲁菲诺、Signoles；亚力山大：从高级应用程序域（软件之外）对运行时验证的挑战的调查（2019）
5. 贾克依，斯特凡；Bartocci，Ezio；Grosu，拉杜；阮，唐；倪科维，德扬：编辑距离STL的定量监测（2018）
6. 米兰、丹嫩贝格、弗里茨、Paoletti、尼古拉、KWATKOWSKA、马尔塔、Burm、LuBo：随机生化系统的精确参数合成（2017）
7. Deshmukh，Jyotirmoy V.；多兹，亚历山大；Ghosh，SurMONA；靳，Xiaoqing；Juniwal，Garvit；SSEHIA，Sanjit A.：信号时间逻辑的在线在线监测（2017）
8. Deshmukh，Jyotirmoy V.；Maunddar，Rupak；Prabu，Viayak S.：利用SkokHood度量量化一致性（2017）
9. Dreossi，ToMaso:SAPO：多项式动力系统的可达性计算和参数综合（2017）
10. 黄，Zhenqi；范，楚；MITRA，Saya:时滞非线性网络动力系统的有界不变性验证（2017）
11. Kassem，Ali；法尔科内，伊莉亚斯；Lafourcade，Pascal：电子考试的正式分析和离线监控（2017）
12. Usman，Siddique，UMAIR：结合细化和信号时序逻辑的生物系统（2017）
13. 纳瓦罗尔·佩兹、Eva M.、卡特、利贝卡：混合动力系统中的死性和如何证明活性（2016）
14. Bartocci，Ezio；Bortolussi，卢卡；NeNi，劳拉；Sanguinetti，Gudio：利用时间特性稳健性的随机模型的系统设计（2015）
15. 边缘，卢布，米兰，阿夫拉涅克，戴维：生物系统模型检验（2013）
16. Annpureddy，亚什万斯；刘，切赫；费纳科斯，Georgios；SalkaNalayayaN. Srala: S. TaliRo：混合系统时间逻辑伪造的工具（2011）
17. 唐纳德，亚历山大：破译——混合系统验证和参数综合的工具箱（2010）伊波尔特