arXiv:2411.13215cs.LOcs.AI2024-11
聚焦自主系统形式化方法，汇集国际前沿研究
Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
- 汇聚形式化方法在自主系统中的最新应用成果
- 涵盖安全验证、可靠性保障等关键技术议题
- 适合关注智能系统可信设计的研究者与工程师
本EPTCS卷收录了第六届国际自主系统形式化方法研讨会（FMAS 2024）的论文。该会议于2024年11月11日至13日在英国曼彻斯特大学核心科技设施举行，与第十九届集成形式化方法国际会议（iFM'24）同期举办。
原文摘要 · Abstract (English)
This EPTCS volume contains the papers from the Sixth International Workshop on Formal Methods for Autonomous Systems (FMAS 2024), which was held between the 11th and 13th of November 2024. FMAS 2024 was co-located with 19th International Conference on integrated Formal Methods (iFM'24), hosted by the University of Manchester in the United Kingdom, in the University of Manchester's Core Technology Facility.
形式化方法自主系统可信计算
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。