刷新
{{item.name}}会员
Safe Reinforcement Learning through Formal Methods
通过形式化方法进行安全强化学习
基本信息
- 批准号：558947-2021
- 负责人：
- 金额：$ 2.55万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Alexander Graham Bell Canada Graduate Scholarships - Doctoral
- 财政年份：2022
- 资助国家：加拿大
- 起止时间：2022-01-01 至 2023-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
reinforcement learning, machine learning, formal methods, safety, control theory, formal language, automated planning
强化学习，机器学习，形式方法，安全，控制理论，形式语言，自动规划
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Li, AndrewAC其他文献
Li, AndrewAC的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似国自然基金
海桑属杂种区强化（Reinforcement）的检验与遗传基础研究
- 批准号：30800060
- 批准年份：2008
- 资助金额：23.0 万元
- 项目类别：青年科学基金项目
相似海外基金
CAREER: Intelligent Battery Management with Safe, Efficient, Fast-Adaption Reinforcement Learning and Physics-Inspired Machine Learning: From Cells to Packs
职业：具有安全、高效、快速适应的强化学习和物理启发机器学习的智能电池管理：从电池到电池组
- 批准号：
2340194 - 财政年份：2024
- 资助金额：
$ 2.55万 - 项目类别：
Continuing Grant
Cross-Layer Uncertainty-Aware Reinforcement Learning for Safe Autonomous Driving
用于安全自动驾驶的跨层不确定性感知强化学习
- 批准号：
EP/Y002644/1 - 财政年份：2024
- 资助金额：
$ 2.55万 - 项目类别：
Research Grant
Toward Human-guided Safe Reinforcement Learning in the Real World
在现实世界中实现人类引导的安全强化学习
- 批准号：
DP240102349 - 财政年份：2024
- 资助金额：
$ 2.55万 - 项目类别：
Discovery Projects
CPS: Medium: Collaborative Research: Provably Safe and Robust Multi-Agent Reinforcement Learning with Applications in Urban Air Mobility
CPS：中：协作研究：可证明安全且鲁棒的多智能体强化学习及其在城市空中交通中的应用
- 批准号：
2312092 - 财政年份：2023
- 资助金额：
$ 2.55万 - 项目类别：
Standard Grant
Collaborative Research: SLES: Safe Distributional-Reinforcement Learning-Enabled Systems: Theories, Algorithms, and Experiments
协作研究：SLES：安全的分布式强化学习系统：理论、算法和实验
- 批准号：
2331781 - 财政年份：2023
- 资助金额：
$ 2.55万 - 项目类别：
Standard Grant
Reward Design for Safe Reinforcement Learning
安全强化学习的奖励设计
- 批准号：
2872672 - 财政年份：2023
- 资助金额：
$ 2.55万 - 项目类别：
Studentship
SLES: SPECSRL: Specification-guided Perception-enabled Conformal Safe Reinforcement Learning
SLES：SPECSRL：规范引导的感知启用的共形安全强化学习
- 批准号：
2331783 - 财政年份：2023
- 资助金额：
$ 2.55万 - 项目类别：
Standard Grant
An Abstraction-based Technique for Safe Reinforcement Learning
一种基于抽象的安全强化学习技术
- 批准号：
EP/X015823/1 - 财政年份：2023
- 资助金额：
$ 2.55万 - 项目类别：
Research Grant
Collaborative Research: SLES: Safe Distributional-Reinforcement Learning-Enabled Systems: Theories, Algorithms, and Experiments
协作研究：SLES：安全的分布式强化学习系统：理论、算法和实验
- 批准号：
2331780 - 财政年份：2023
- 资助金额：
$ 2.55万 - 项目类别：
Standard Grant
CPS: Medium: Collaborative Research: Provably Safe and Robust Multi-Agent Reinforcement Learning with Applications in Urban Air Mobility
CPS：中：协作研究：可证明安全且鲁棒的多智能体强化学习及其在城市空中交通中的应用
- 批准号：
2312093 - 财政年份：2023
- 资助金额：
$ 2.55万 - 项目类别：
Standard Grant