TRUSTED: SecuriTy SummaRies for SecUre SofTwarE Development
TRUSTED: SecuriTy SummaRies for SecUre SofTwarE Development
值得信赖：安全软件开发的安全摘要
批准号：
EP/X03688X/1
负责人：
Sven Schewe
金额：
$54.33万
依托单位：
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2023
资助国家：
英国
项目状态：
未结题
起止时间：
2023 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(2)
专著(0)
科研奖励(0)
会议论文
ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30-October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023)
ECAI 2023 - 第 26 届欧洲人工智能会议，2023 年 9 月 30 日至 10 月 4 日，波兰克拉科夫 - 包括第 12 届智能系统著名应用会议 (PAIS 2023)
ECAI 2023 - 第 26 届欧洲人工智能会议，2023 年 9 月 30 日至 10 月 4 日，波兰克拉科夫 - 包括第 12 届智能系统著名应用会议 (PAIS 2023)
DOI：
10.3233/faia230499
发表时间：
2023
期刊：
影响因子：
--
作者：
[Salimi P]
通讯作者：
Salimi P
DOI：
10.4204/eptcs.390.13
发表时间：
2023
期刊：
Electronic Proceedings in Theoretical Computer Science
影响因子：
--
作者：
[Dell'Erba D]
通讯作者：
Dell'Erba D
Below the Branches of Universal Trees
-
批准号：EP/X017796/1
-
项目类别：Research Grant
-
资助金额：$25.76万
-
财政年份：2023
-
负责人：Sven Schewe
-
依托单位：
Valuation Structures for Infinite Duration Games
-
批准号：EP/Y027663/1
-
项目类别：Fellowship
-
资助金额：$25.55万
-
财政年份：2023
-
负责人：Sven Schewe
-
依托单位：
Reinforcement Learning for Finite Horizons (ReLeaF)
-
批准号：EP/X021513/1
-
项目类别：Fellowship
-
资助金额：$26.0万
-
财政年份：2022
-
负责人：Sven Schewe
-
依托单位：
Solving Parity Games in Theory and Practice
-
批准号：EP/P020909/1
-
项目类别：Research Grant
-
资助金额：$52.13万
-
财政年份：2017
-
负责人：Sven Schewe
-
依托单位：
Energy Efficient Control
-
批准号：EP/M027287/1
-
项目类别：Research Grant
-
资助金额：$54.68万
-
财政年份：2015
-
负责人：Sven Schewe
-
依托单位：
Synthesis and Verification in Markov Game Structures
-
批准号：EP/H046623/1
-
项目类别：Research Grant
-
资助金额：$42.75万
-
财政年份：2010
-
负责人：Sven Schewe
-
依托单位：
海外基金
