强化学习安全性的形式化方法研究及其在智能控制中的应用
批准号:
--
项目类别:
面上项目
资助金额:
55 万元
负责人:
赵恒军
依托单位:
学科分类:
智能系统与人工智能安全
结题年份:
--
批准年份:
2022
项目状态:
未结题
项目参与者:
赵恒军
智能汽车可信软件形式化方法理论及应用
-
批准号:--
-
项目类别:省市级项目
-
资助金额:0.0万元
-
批准年份:2025
-
负责人:赵恒军
-
依托单位:
采样控制系统的安全性验证方法及其应用
-
批准号:61702425
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2017
-
负责人:赵恒军
-
依托单位:
国内基金
海外基金