赵汉瑞
人员信息
优化列表
2020年–今天
2023 [j3] 杨正峰 , 赵汉瑞 , 李洪志 以下为:
VerifyRealRoots:用于计算多项式方程组和不等式组的验证实解的Matlab包。 J.系统。 科学。 复杂。 36 ( 2 ) 以下为: 866-883 ( 2023 ) [注2] 赵汉瑞 , 牛牛七 , 利迪亚·德比 , 夏曾 , 杨正峰 以下为:
基于反例引导学习的连续系统神经屏障证书的形式化合成。 ACM事务处理。 嵌入。 计算。 系统。 22 ( 5秒 ) 以下为: 146:1-146:21 ( 2023 ) 【c1】 赵汉瑞 , 夏曾 , 牛牛七 , 杨正峰 , 曾振兵 以下为:
基于元强化学习的非线性系统安全DNN型控制器综合。 数模转换器 2023 以下为: 1-6 2020 [j1] 杜俊伟 , 赵汉瑞 , 杨阳玉 , 胡强 以下为:
一种从故障树和事故报告中提取化学事故安全事件因果关系的方法。 计算。 智力。 神经科学。 2020 以下为: 7132072:1-7132072:12 ( 2020 )