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

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