zbMATH中的参考文献（参考文献43条)

1. 赵恒军；曾、夏；陈韬略；刘志明；伍德考克，吉姆：学习安全神经网络控制器与障碍证书（2021年）
2. 戈亚尔，马尼什；Duggirala，Parasara Sridhar:提取线性混合动力系统中安全违规引发的反例（2020）
3. Tsachouridis，瓦西里奥斯A。；吉安塔米迪斯，乔治亚；巴萨吉安尼斯，Stylianos；Kouramas，Kostas:Schulz矩阵反演算法的形式分析：通用矩阵流求解器的计算机辅助验证范例（2020）
4. 杨正峰；吴敏；林，王：不确定非线性混合系统障碍证书生成的有效框架（2020）
5. 多恩，劳伦特；弗雷希，戈兰；帕帕斯，乔治J。；Platzer，André：混合动力系统验证（2018）
6. 张辉；吴金钊：MPSoC数据动态的形式化验证与量化度量（2018）
7. 戴丽云；甘、婷；夏碧灿；詹乃俊：重审障碍证书（2017年）
8. 贝尔纳德斯基，辛齐亚；Domenici，Andrea:通过与原型验证系统的交互定理证明验证非线性控制的安全特性（2016）
9. 纳瓦罗-洛佩斯，伊娃·M。；Carter，Rebekah:混合动力系统中的死亡与如何反驳活性（2016）
10. 戴维德，布雷索林；格雷蒂，卢卡；米拉多，里卡多；菲奥里尼，保罗；Villa，Tiziano:正式验证应用于机器人手术（2015）
11. 戴维德，布雷索林；格雷蒂，卢卡；提兹亚诺别墅；Collins，Pieter:使用\textscAriadne验证混合动力系统的介绍（2015）
12. Dzetkulič，Tomš：切比雪夫基非线性常微分方程的严格积分（2015）
13. 普拉巴卡尔，帕维斯特拉；Duggirala，Parasara Sridhar；密特拉，萨扬；Viswanathan，Mahesh:基于混合自动机的矩形混合系统CEGAR（2015）
14. 本维努蒂，卢卡；戴维德，布雷索林；柯林斯，彼得；法拉利，阿尔伯托；格雷蒂，卢卡；Villa，Tiziano:ARIADNE对非线性混合系统的假设保证验证（2014）
15. 哈恩，恩斯特莫里茨；哈特曼，阿恩德；赫尔曼，霍尔格；Katoen，Joost Pieter:随机混杂系统的组合建模与分析框架（2013）
16. 平井静子；Kobayashi，Koich:实态空间上过渡系统盒抽象的近似算法（2013）
17. 她，志坤；李浩阳；薛、白；郑志明；夏比康：发现连续动力系统的多项式Lyapunov函数（2013）
18. 詹乃君；王淑玲；赵恒军：混合动力系统的形式化建模、分析与验证（2013）
19. 张丽君；她，志坤；拉斯坎，斯特凡；赫尔曼，霍尔格；Hahn，Ernst Moritz:概率混合系统的安全验证（2012）
20. 哲特库利奇托马什；Ratschan，Stefan:混合系统简洁抽象的增量计算（2011）