TRUSTED: SecuriTy SummaRies for SecUre SofTwarE Development

值得信赖：安全软件开发的安全摘要

• 批准号: EP/X03688X/1
• 负责人: Sven Schewe
• 金额: $ 54.33万
• 依托单位: University of Liverpool
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2023
• 资助国家: 英国
• 起止时间: 2023 至 无数据
• 项目状态: 未结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FX03688X%2F1
• 关键词: TRUSTED; SecuriTy; SummaRies; SecUre; SofTwarE

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.

目前，GtR 中尚未提供所有资助研究的摘要。这通常是因为在提交提案时不需要摘要，但可能是因为它包含个人详细信息等敏感信息。

项目成果

An Objective Improvement Approach to Solving Discounted Payoff Games

解决折扣支付游戏的客观改进方法

• DOI: 10.4204/eptcs.390.13
• 发表时间: 2023
• 期刊: Electronic Proceedings in Theoretical Computer Science
• 作者: Dell'Erba D

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)

• DOI: 10.3233/faia230499
• 发表时间: 2023
• 作者: Salimi P