自动驾驶系统验证面临新挑战，需全新方法确保安全可靠。
Grand Challenges in the Verification of Autonomous Systems
- 提出自动驾驶系统验证的五大核心难题
- 强调现有方法难以应对复杂环境下的自主决策
- 适合关注智能系统安全与验证的研究者参考
自动驾驶系统在复杂多变环境中依靠自主决策完成任务，随着技术进步，其应用范围日益扩大。若要部署于安全或任务关键场景，必须建立对其安全、正确运行的充分信心。验证是建立这种信心的关键过程。然而，现有验证方法难以应对自动驾驶系统的特性。本文基于IEEE机器人与自动化协会自主系统验证技术委员会路线图工作组的观点，揭示了当前面临的重大挑战，并为未来研究提供了愿景，旨在推动构建更有效的验证体系。
原文摘要 · Abstract (English)
Autonomous systems use independent decision-making with only limited human intervention to accomplish goals in complex and unpredictable environments. As the autonomy technologies that underpin them continue to advance, these systems will find their way into an increasing number of applications in an ever wider range of settings. If we are to deploy them to perform safety-critical or mission-critical roles, it is imperative that we have justified confidence in their safe and correct operation. Verification is the process by which such confidence is established. However, autonomous systems pose challenges to existing verification practices. This paper highlights viewpoints of the Roadmap Working Group of the IEEE Robotics and Automation Society Technical Committee for Verification of Autonomous Systems, identifying these grand challenges, and providing a vision for future research efforts that will be needed to address them.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。