zbMATH中的参考文献（参考文献73篇文章)

1. 赵恒军；曾、夏；陈韬略；刘志明；伍德考克，吉姆：学习安全神经网络控制器与障碍证书（2021年）
2. 戈亚尔，马尼什；Duggirala，Parasara Sridhar:提取线性混合动力系统中安全违规引发的反例（2020）
3. Tsachouridis，瓦西里奥斯A。；吉安塔米迪斯，乔治亚；巴萨吉安尼斯，Stylianos；Kouramas，Kostas:Schulz矩阵反演算法的形式分析：通用矩阵流求解器的计算机辅助验证范例（2020）
4. 杨正峰；吴敏；林，王：不确定非线性混合系统障碍证书生成的有效框架（2020）
5. 多恩，劳伦特；弗雷希，戈兰；帕帕斯，乔治J。；Platzer，André：混合动力系统验证（2018）
6. 鲁希，尼玛；普拉巴卡尔，帕维斯特拉；Viswanathan，Mahesh:关联混合自动机的句法和语义扰动（2018）
7. 张辉；吴金钊：MPSoC数据动态的形式化验证与量化度量（2018）
8. 戴丽云；甘、婷；夏碧灿；詹乃俊：重审障碍证书（2017年）
9. 亚德尔，贾巴拉；查普特，亚历山大德；基弗，米歇尔；Bouissou，Olivier:使用区间分析构造动力系统的参数势垒函数（2017）
10. 董武宣；Khanh，到Van；小川，瑞穗：多项式约束的SMT解算器（2017）
11. 沃伊切乔夫斯基，皮奥特；艾里纳基斯，帕夫洛斯；Subramani，K.：分析线性算术理论的限制片段（2017）
12. 沃伊切乔夫斯基，皮奥特；艾里纳基斯，帕夫洛斯；Subramani，K.：勘误表：“分析线性算术理论的限制片段”（2017年）
13. 贝尔纳德斯基，辛齐亚；Domenici，Andrea:通过与原型验证系统的交互定理证明验证非线性控制的安全特性（2016）
14. 弗兰克，彼得；拉斯坎，斯特凡；Zgliczynski，Piotr:一阶实数理论片段的拟可判定性（2016）
15. 纳瓦罗-洛佩斯，伊娃·M。；Carter，Rebekah:混合动力系统中的死亡与如何反驳活性（2016）
16. 董武宣；Khanh，到Van；小川，瑞穗：多项式约束的SMT解算器（2016）
17. 阿尔维亚诺，马里奥；Peñaloza，Rafael:通过可满足模理论计算模糊答案集（2015）
18. 戴维德，布雷索林；格雷蒂，卢卡；米拉多，里卡多；保罗·菲奥里尼；Villa，Tiziano:正式验证应用于机器人手术（2015）
19. 戴维德，布雷索林；格雷蒂，卢卡；提兹亚诺别墅；Collins，Pieter:使用\textscAriadne验证混合动力系统的介绍（2015）
20. Dzetkulič，Tomš：切比雪夫基非线性常微分方程的严格积分（2015）