聚焦自主系统形式化方法，汇聚全球学者共研安全验证新范式。
Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
- 汇集国际顶尖学者，探讨自主系统形式化验证新思路
- 接收16篇来自12国的投稿，覆盖多国研究力量
- 适合关注系统安全性与形式化方法的科研人员
本EPTCS专刊收录了2025年第七届自主系统形式化方法研讨会（FMAS 2025）的论文，会议于2025年11月17日至19日在法国巴黎的Inria巴黎中心举行，与第20届集成形式化方法国际会议（iFM'25）同期举办。该研讨会旨在汇聚使用形式化方法应对自主系统独特挑战的研究者，促进成果发表与交流。本届会议共收到16篇投稿，作者来自加拿大、中国、法国、德国、爱尔兰、意大利、日本、荷兰、葡萄牙、瑞典、美国和英国等12个国家。尽管投稿数量较去年有所减少，但来源国家广泛，既有往届作者，也有新面孔，反映出该社区在七年发展后已形成良好网络，并具备持续增长潜力。
原文摘要 · Abstract (English)
This EPTCS volume contains the papers from the Seventh International Workshop on Formal Methods for Autonomous Systems (FMAS 2025), which was held between the 17th and 19th of November 2025. The goal of the FMAS workshop series is to bring together leading researchers who are using formal methods to tackle the unique challenges that autonomous systems present, so that they can publish and discuss their work with a growing community of researchers. FMAS 2025 was co-located with the 20th International Conference on integrated Formal Methods (iFM'25), hosted by Inria Paris, France at the Inria Paris Center. In total, FMAS 2025 received 16 submissions from researchers at institutions in: Canada, China, France, Germany, Ireland, Italy, Japan, the Netherlands, Portugal, Sweden, the United States of America, and the United Kingdom. Though we received fewer submissions than last year, we are encouraged to see the submissions being sent from a wide range of countries. Submissions come from both past and new FMAS authors, which shows us that the existing community appreciates the network that FMAS has built over the past 7 years, while new authors also show the FMAS community's great potential of growth.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。