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

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