zbMATH中的参考文献（参考文献24条,1标准件)

1. 罗伯特J.莫斯：POMDPStressTesting.jl:黑盒系统的自适应压力测试（2021）不是zbMATH
2. 戈亚尔，马尼什；Duggirala，Parasara Sridhar:提取线性混合动力系统中安全违规引发的反例（2020）
3. Tsachouridis，瓦西里奥斯A。；吉安塔米迪斯，乔治亚；巴萨吉安尼斯，Stylianos；Kouramas，Kostas:Schulz矩阵反演算法的形式分析：通用矩阵流求解器的计算机辅助验证范例（2020）
4. 马斯德雷奥；东泽，亚历山德拉；Seshia，Sanjit A.：具有机器学习组件的网络物理系统的合成伪造（2019）
5. 费雷尔，托马斯；尼科维奇，德扬；东泽，亚历山德拉；伊藤，久弘；Kapinski，James:接口感知信号时序逻辑（2019）
6. 杰哈，苏米特；提瓦里，阿什什；塞希亚，桑吉特A。；沙海、吐温；时间紧密性（2019年1月，使用Teleax信号的正时间紧密性学习）
7. 马格伦，维克多；卡罗奇，皮埃尔·洛伊克；亨利昂，迪迪埃；Thirioux，Xavier:离散时间多项式系统可达集的半定逼近（2019）
8. 塞萨尔桑切斯；施耐德，杰拉多；阿伦特，沃尔夫冈；巴托奇、埃齐奥；比安库利，多梅尼科；科伦坡，基督教；法尔肯，伊莉丝；弗朗卡兰扎，阿德里安；Krstić，Srđan；卢伦索，若昂。；尼科维奇，德扬；佩斯，戈登J。；鲁菲诺，何塞；西诺尔斯，朱利安；特劳特尔，德米特里；Weiss，Alexander:来自高级应用领域（超越软件）的运行时验证挑战调查（2019）
9. 侯赛因锡拜；莫赫莱西，海军；Mitra，Sayan:在等变动态系统中使用对称变换进行安全验证（2019）
10. 巴托奇、埃齐奥；费雷尔，托马斯；曼朱纳特，尼维迪莎；Ničković，Dejan:用STL在Simulink/Stateflow模型中定位断层（2018）
11. 雅克希奇，斯特凡；巴托奇、埃齐奥；格罗苏，拉杜；阮，唐；Ničković，Dejan：使用编辑距离对STL进行定量监测（2018年）
12. 乔斯卡，米兰；丹宁堡，弗里茨；保罗提，尼古拉；奎亚特科夫斯卡，玛尔塔；Brim，Luboš：随机生化系统的精确参数综合（2017）
13. 德什穆克，乔蒂莫伊五世。；东泽，亚历山德拉；Ghosh，Shromona公司；金小青；朱尼瓦尔，加维特；Seshia，Sanjit A.：信号时序逻辑的强大在线监测（2017）
14. 德什穆克，乔蒂莫伊五世。；马朱姆达尔，鲁帕克；Prabhu，Vinayak S.：使用Skorokod指标量化合规性（2017）
15. Dreossi，Tommaso:Sapo:多项式动力系统的可达性计算和参数综合（2017）
16. 黄振奇；范楚楚；Mitra，Sayan:时滞非线性网络动力学系统的有界不变验证（2017）
17. 卡西姆，阿里；法尔肯，伊莉丝；Lafourcade，Pascal:电子考试的形式分析和离线监控（2017）
18. 桑瓦尔，乌斯曼；Siddique，Umair:生物系统的结合精炼和信号时序逻辑（2017）
19. 纳瓦罗-洛佩斯，伊娃·M。；Carter，Rebekah:混合动力系统中的死亡与如何反驳活性（2016）
20. 巴托奇、埃齐奥；托卢萨，博鲁西；嫩子，劳拉；Sanguinetti，Guido:使用时间特性鲁棒性的随机模型的系统设计（2015）