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

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