This EPTCS volume contains the proceedings for the Fifth International Workshop on Formal Methods for Autonomous Systems (FMAS 2023), which was held on the 15th and 16th of November 2023. FMAS 2023 was co-located with 18th International Conference on integrated Formal Methods (iFM) (iFM'22), organised by Leiden Institute of Advanced Computer Science of Leiden University. The workshop itself was held at Scheltema Leiden, a renovated 19th Century blanket factory alongside the canal. FMAS 2023 received 25 submissions. We received 11 regular papers, 3 experience reports, 6 research previews, and 5 vision papers. The researchers who submitted papers to FMAS 2023 were from institutions in: Australia, Canada, Colombia, France, Germany, Ireland, Italy, the Netherlands, Sweden, the United Kingdom, and the United States of America. Increasing our number of submissions for the third year in a row is an encouraging sign that FMAS has established itself as a reputable publication venue for research on the formal modelling and verification of autonomous systems. After each paper was reviewed by three members of our Programme Committee we accepted a total of 15 papers: 8 long papers and 7 short papers.

翻译：本卷EPTCS收录了第五届自主系统形式化方法国际研讨会（FMAS 2023）的会议论文集。该研讨会于2023年11月15日至16日举行，与第十八届集成形式化方法国际会议（iFM'22）联合举办，由莱顿大学高级计算机科学研究所组织。研讨会本身在莱顿的Scheltema举办，该场所是一座经过翻新的19世纪运河沿岸毛毯工厂。FMAS 2023共收到25篇投稿，包括11篇常规论文、3篇经验报告、6篇研究预览和5篇愿景论文。投稿作者来自澳大利亚、加拿大、哥伦比亚、法国、德国、爱尔兰、意大利、荷兰、瑞典、英国和美国等国的科研机构。连续第三年投稿数量增长，表明FMAS已确立为自主系统形式化建模与验证领域值得信赖的出版平台。经程序委员会三位成员对每篇论文进行评审后，我们最终接收了15篇论文，其中包括8篇长论文和7篇短论文。