刷新
{{item.name}}会员
Safe Reinforcement Learning through Formal Methods
通过形式化方法进行安全强化学习
基本信息
- 批准号：558947-2021
- 负责人：
- 金额：$ 2.55万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Alexander Graham Bell Canada Graduate Scholarships - Doctoral
- 财政年份：2021
- 资助国家：加拿大
- 起止时间：2021-01-01 至 2022-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, Andrew其他文献
IL-10 alters immunoproteostasis in APP mice, increasing plaque burden and worsening cognitive behavior.
IL-10 改变 APP 小鼠的免疫蛋白稳态，增加斑块负担并恶化认知行为。
- DOI：
10.1016/j.neuron.2014.11.020 - 发表时间：
2015-02-04 - 期刊：
- 影响因子：16.2
- 作者：
Chakrabarty, Paramita;Li, Andrew;Ceballos-Diaz, Carolina;Eddy, James A.;Funk, Cory C.;Moore, Brenda;DiNunno, Nadia;Rosario, Awilda M.;Cruz, Pedro E.;Verbeeck, Christophe;Sacino, Amanda;Nix, Sarah;Janus, Christopher;Price, Nathan D.;Das, Pritam;Golde, Todd E. - 通讯作者：
Golde, Todd E.
How Does Supervisory Family Support Influence Employees' Attitudes and Behaviors? A Social Exchange Perspective
- DOI：
10.1177/0149206311413922 - 发表时间：
2014-05-01 - 期刊：
- 影响因子：13.5
- 作者：
Bagger, Jessica;Li, Andrew - 通讯作者：
Li, Andrew
The Psychological Well-Being of Disability Caregivers: Examining the Roles of Family Strain, Family-to-Work Conflict, and Perceived Supervisor Support
- DOI：
10.1037/a0037878 - 发表时间：
2015-01-01 - 期刊：
- 影响因子：5.1
- 作者：
Li, Andrew;Shaffer, Jonathan;Bagger, Jessica - 通讯作者：
Bagger, Jessica
IFN-γ promotes τ phosphorylation without affecting mature tangles
- DOI：
10.1096/fj.15-275834 - 发表时间：
2015-10-01 - 期刊：
- 影响因子：4.8
- 作者：
Li, Andrew;Ceballos-Diaz, Carolina;Chakrabarty, Paramita - 通讯作者：
Chakrabarty, Paramita
Capnocytophaga sputigena Empyema
- DOI：
10.1128/jcm.00884-13 - 发表时间：
2013-08-01 - 期刊：
- 影响因子：9.4
- 作者：
Li, Andrew;Tambyah, Paul;Leong, Khoo Kay - 通讯作者：
Leong, Khoo Kay
Li, Andrew的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Li, Andrew', 18)}}的其他基金
Learning to Communicate for Multi-agent Planning
学习多智能体规划通信
- 批准号：
552757-2020 - 财政年份：2020
- 资助金额：
$ 2.55万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Master's
Local search for Bayesian network structure learning
贝叶斯网络结构学习的本地搜索
- 批准号：
520449-2017 - 财政年份：2017
- 资助金额：
$ 2.55万 - 项目类别：
University Undergraduate Student Research Awards
Investigate the application of Templated Styles for Angular application; Determine visualization f
研究 Angular 应用程序的模板样式的应用；
- 批准号：
501510-2016 - 财政年份：2016
- 资助金额：
$ 2.55万 - 项目类别：
Experience Awards (previously Industrial Undergraduate Student Research Awards)
相似国自然基金
海桑属杂种区强化（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
Collaborative Research: SLES: Safe Distributional-Reinforcement Learning-Enabled Systems: Theories, Algorithms, and Experiments
协作研究：SLES：安全的分布式强化学习系统：理论、算法和实验
- 批准号：
2331782 - 财政年份：2023
- 资助金额：
$ 2.55万 - 项目类别：
Standard Grant