zbMATH中的参考文献（参考 20篇文章 参考，1标准件)

1. Goyal，Manish；Duggirala，Parasara Sridhar:提取线性混合动力系统中安全违规引发的反例（2020年）
2. Tsachouridis，Vassilios A.；Giantamidis，Georgios；Basagiannis，Stylianos；Kouramas，Kostas:Schulz矩阵反演算法的形式分析：通用矩阵流求解器的计算机辅助验证范式（2020）
3. Dreossi，Tommaso；Donzé，Alexandre；Seshia，Sanjit A.：使用机器学习组件对网络物理系统进行组合伪造（2019年）
4. Jha，Susmit；Tiwari，Ashish；Seshia，Sanjit A.；Sahai，Tuhin；Shankar，Natarajan:电传：使用紧密性度量从正面示例学习信号时序逻辑（2019年）
5. Magron，Victor；Garoche，Pierre Loic；Henrion，Didier；Thirioux，Xavier:离散时间多项式系统可达集的半定逼近（2019）
6. 塞萨尔桑切斯；施耐德，杰拉多；阿伦特，沃尔夫冈；巴托奇，埃齐奥；比安库利，多梅尼科；科伦坡，克里斯蒂安；法尔科内，伊莱；弗朗卡兰扎，阿德里安；克尔斯蒂奇，斯里安；卢伦索，若昂；尼科维奇，德扬；佩斯，戈登J；鲁菲诺，何塞；西诺尔，朱利安；特劳特尔，德米特里；韦斯，Alexander:来自高级应用领域（超越软件）的运行时验证挑战调查（2019）
7. Sibai，Hussein；Mokhlesi，Navid；Mitra，Sayan:在等变动态系统中使用对称变换进行安全验证（2019）
8. Jakšić，Stefan；Bartocci，Ezio；Grosu，Radu；Nguyen，Thang；Nicčković，Dejan:用编辑距离定量监测STL（2018年）
9. šeška，米兰；Dannenberg，Frits；Paoletti，Nicola；Kwiatkowska，Marta；Brim，Luboš：随机生化系统的精确参数综合（2017）
10. Deshmukh，Jyotirmoy V.；Donzé，Alexandre；Ghosh，Shromona；Jin，Xiaoqing；Juniwal，Garvit；Seshia，Sanjit A.：信号时序逻辑的强大在线监测（2017年）
11. Deshmukh，Jyotirmoy诉；Majumdar，Rupak；Prabhu，Vinayak S.：使用Skorokod指标量化合规性（2017年）
12. 动力学系统的可达性，2017年：masdreo系统的可达性
13. 黄振奇；范楚初；米特拉，萨扬：时滞非线性网络动力系统的有界不变验证（2017）
14. Kassem，Ali；Falcone，Yliès；Lafourcade，Pascal：电子考试的正式分析和离线监控（2017）
15. Sanwal，Usman；Siddique，Umair:结合精炼和信号时序逻辑的生物系统（2017）
16. Navarro-López，Eva M.；Carter，Rebekah:混合动力系统中的死亡与如何反驳活性（2016）
17. Bartocci，Ezio；Bortolussi，Luca；Nenzi，Laura；Sanguinetti，Guido：使用时间特性鲁棒性的随机模型的系统设计（2015）
18. Brim，Luboš；šeška，米兰；šafránek，大卫：生物系统的模型检查（2013）
19. Annpureddy，Yashwanth；Liu，Che；Fainekos，Georgios；Sankaranarayanan，Sriram:S-Tariro:混合系统的时序逻辑证伪工具（2011）
20. Donzé，Alexandre:Breach——混合系统验证和参数综合的工具箱（2010）ioport公司