课题基金 / 基金详情

Safe Reinforcement Learning through Formal Methods

Safe Reinforcement Learning through Formal Methods
通过形式化方法进行安全强化学习
批准号：
558947-2021
负责人：
Li, AndrewAC
金额：
$2.55万
依托单位：
University of Toronto
依托单位国家：
加拿大
项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
财政年份：
2022
资助国家：
加拿大
项目状态：
已结题
起止时间：
2022-01-01 至 2023-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=749995
关键词：
SafeReinforcementLearningthroughFormal

项目摘要

项目成果

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
reinforcement learning, machine learning, formal methods, safety, control theory, formal language, automated planning
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
国内基金
海外基金
海桑属杂种区强化（Reinforcement）的检验与遗传基础研究
  • 批准号：
    30800060
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    23.0万元
  • 批准年份：
    2008
  • 负责人：
    周仁超
  • 依托单位：
    中山大学