课题基金 / 基金详情

Verification of Learning Driven Probabilistic Planning

Verification of Learning Driven Probabilistic Planning
学习驱动概率规划的验证
批准号：
1913482
负责人：
金额：
$0.0万
依托单位：
University of Birmingham
依托单位国家：
英国
项目类别：
Studentship
财政年份：
2017
资助国家：
英国
项目状态：
已结题
起止时间：
2017 至 --
来源：
https://gtr.ukri.org/projects?ref=studentship-1913482
关键词：
VerificationLearningDrivenProbabilisticPlanning

项目摘要

项目成果

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Verifying the safety of planning techniques which are based on machine learning techniques. Investigating the applications of this verification, and how it can help understand the safety of these planning techniques, and provide guarantees.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
国内基金
海外基金
Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
Understanding structural evolution of galaxies with machine learning
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    10.0万元
  • 批准年份：
    2022
  • 负责人：
    Nicola Rosario Napolitano
  • 依托单位：
    中山大学
煤矿安全人机混合群智感知任务的约束动态多目标Q-learning进化分配
  • 批准号：
    --
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    30万元
  • 批准年份：
    2022
  • 负责人：
    吉建娇
  • 依托单位：
    中国矿业大学
基于领弹失效考量的智能弹药编队短时在线Q-learning协同控制机理
  • 批准号：
    62003314
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    24.0万元
  • 批准年份：
    2020
  • 负责人：
    沈剑
  • 依托单位：
    中北大学