R溶剂

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