Verifiable Autonomy

可验证的自主权

• 批准号: EP/L024861/1
• 负责人: Alan Winfield
• 金额: $ 43.37万
• 依托单位: University of the West of England
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2014
• 资助国家: 英国
• 起止时间: 2014 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FL024861%2F1
• 关键词: Verifiable; Autonomy

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中并没有所有资助研究的摘要。这通常是因为在提交提案时不需要摘要，但也可能是因为摘要中包含个人详细信息等敏感信息。

项目成果

Simulation-Based Internal Models for Safer Robots

• DOI: 10.3389/frobt.2017.00074
• 发表时间: 2018-01-11
• 期刊: FRONTIERS IN ROBOTICS AND AI
• 影响因子: 3.4
• 作者: Blum, Christian;Winfield, Alan F. T.;Hefner, Verena V.
• 通讯作者: Hefner, Verena V.

Towards Verifiably Ethical Robot Behaviour

迈向可验证的道德机器人行为

• DOI: 10.48550/arxiv.1504.03592
• 发表时间: 2015
• 作者: Dennis L

Artificial Life and Intelligent Agents - First International Symposium, ALIA 2014, Bangor, UK, November 5-6, 2014. Revised Selected Papers

人工生命和智能代理 - 第一届国际研讨会，ALIA 2014，英国班戈，2014 年 11 月 5-6 日。修订后的精选论文

• DOI: 10.1007/978-3-319-18084-7_8
• 发表时间: 2015
• 作者: Jones S

Human involvement in autonomous decision-making systems. Lessons learned from three case studies in aviation, social care and road vehicles

• DOI: 10.3389/fpos.2023.1238461
• 发表时间: 2023-12
• 期刊: Frontiers in Political Science
• 作者: P. Salvini;Tyler Reinmund;Benjamin Hardin;Keri Grieman;C. Ten Holter;Aaron Johnson;Lars Kunze;Alan Winfield;M. Jirotka

Engineering moral machines

工程道德机器

• 发表时间: 2017
• 期刊: Informatik Spectrum
• 作者: Fisher M