HSolver公司

此软件的关键字
zbMATH中的参考文献(参考文献 44条 )
克拉克,安德鲁:随机系统的控制势垒函数(2021) 赵恒军; 曾、夏; 陈韬略; 刘志明; 伍德考克,吉姆:学习安全神经网络控制器与障碍证书(2021年) 戈亚尔,马尼什; Duggirala,Parasara Sridhar:提取线性混合动力系统中安全违规引发的反例(2020) Tsachouridis,瓦西里奥斯A。; 吉安塔米迪斯,乔治亚; 巴萨吉安尼斯,Stylianos; Kouramas,Kostas:Schulz矩阵反演算法的形式分析:通用矩阵流求解器的计算机辅助验证范例(2020) 杨正峰; 吴敏; 林,王:不确定非线性混合系统障碍证书生成的有效框架(2020) 多恩,劳伦特; 弗雷希,戈兰; 帕帕斯,乔治J。; Platzer,André:混合动力系统验证(2018) 张辉; 吴金钊:MPSoC数据动态的形式化验证与量化度量(2018) 戴丽云; 甘、婷; 夏碧灿; 詹乃俊:重审障碍证书(2017年) 贝尔纳德斯基,辛齐亚; Domenici,Andrea:通过与原型验证系统的交互定理证明验证非线性控制的安全特性(2016) 纳瓦罗-洛佩斯,伊娃·M。; Carter,Rebekah:混合动力系统中的死亡与如何反驳活性(2016) 戴维德,布雷索林; 格雷蒂,卢卡; 米拉多,里卡多; 菲奥里尼,保罗; Villa,Tiziano:正式验证应用于机器人手术(2015) 戴维德,布雷索林; 格雷蒂,卢卡; 提兹亚诺别墅; Collins,Pieter:使用\textscAriadne验证混合动力系统的介绍(2015) Dzetkulič,Tomš:切比雪夫基非线性常微分方程的严格积分(2015) 普拉巴卡尔,帕维斯特拉; Duggirala,Parasara Sridhar; 密特拉,萨扬; Viswanathan,Mahesh:基于混合自动机的矩形混合系统CEGAR(2015) 本维努蒂,卢卡; 戴维德,布雷索林; 柯林斯,彼得; 法拉利,阿尔伯托; 格雷蒂,卢卡; Villa,Tiziano:ARIADNE对非线性混合系统的假设保证验证(2014) 哈恩,恩斯特莫里茨; 哈特曼,阿恩德; 赫尔曼,霍尔格; Katoen,Joost Pieter:随机混杂系统的组合建模与分析框架(2013) 平井静子; Kobayashi,Koich:实态空间上过渡系统盒抽象的近似算法(2013) 她,志坤; 李浩阳; 薛、白; 郑志明; 夏比康:发现连续动力系统的多项式Lyapunov函数(2013) 詹乃君; 王淑玲; 赵恒军:混合动力系统的形式化建模、分析与验证(2013) 张丽君; 她,志坤; 拉斯坎,斯特凡; 赫尔曼,霍尔格; Hahn,Ernst Moritz:概率混合系统的安全验证(2012)