课题基金 / 基金详情

Safe Reinforcement Learning through Formal Methods

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

项目摘要

项目成果

Li, Andrew的其他基金

相似基金

相关文献

中文摘要
翻译
强化学习，机器学习，形式化方法，安全，控制理论，形式化语言，自动化规划
英文摘要
reinforcement learning, machine learning, formal methods, safety, control theory, formal language, automated planning
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Learning to Communicate for Multi-agent Planning
  • 批准号：
    552757-2020
  • 项目类别：
    Alexander Graham Bell Canada Graduate Scholarships - Master's
  • 资助金额：
    $1.27万
  • 财政年份：
    2020
  • 负责人：
    Li, Andrew
  • 依托单位：
    University of Toronto
Local search for Bayesian network structure learning
  • 批准号：
    520449-2017
  • 项目类别：
    University Undergraduate Student Research Awards
  • 资助金额：
    $0.33万
  • 财政年份：
    2017
  • 负责人：
    Li, Andrew
  • 依托单位：
    University of Waterloo
Investigate the application of Templated Styles for Angular application; Determine visualization f
  • 批准号：
    501510-2016
  • 项目类别：
    Experience Awards (previously Industrial Undergraduate Student Research Awards)
  • 资助金额：
    $0.33万
  • 财政年份：
    2016
  • 负责人：
    Li, Andrew
  • 依托单位：
    Tantalus Systems Corporation
国内基金
海外基金
海桑属杂种区强化（Reinforcement）的检验与遗传基础研究
  • 批准号：
    30800060
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    23.0万元
  • 批准年份：
    2008
  • 负责人：
    周仁超
  • 依托单位：
    中山大学