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

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