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

显示第1到第20个结果,共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)