第五届自主系统形式化方法国际研讨会会议录
人工智能
2023-11-16 v1 机器人学
摘要
本 EPTCS 卷收录了第五届自主系统形式化方法国际研讨会（FMAS 2023）的会议录，该研讨会于 2023 年 11 月 15 日和 16 日举行。FMAS 2023 与第 18 届国际集成形式化方法会议（iFM）（iFM'22）联合举办，由莱顿大学莱顿高级计算机科学研究所组织。研讨会本身在 Scheltema Leiden 举行，这是一座位于运河旁的 19 世纪毛毯工厂改造建筑。FMAS 2023 收到 25 篇投稿。我们收到 11 篇常规论文、3 篇经验报告、6 篇研究预览和 5 篇愿景论文。向 FMAS 2023 投稿的研究人员来自以下国家的机构：澳大利亚、加拿大、哥伦比亚、法国、德国、爱尔兰、意大利、荷兰、瑞典、英国和美利坚合众国。投稿数量连续第三年增加是一个令人鼓舞的迹象，表明 FMAS 已确立其作为自主系统形式化建模与验证研究的声誉出版场所。每篇论文由我们的程序委员会三名成员评审后，我们共接受了 15 篇论文：8 篇长论文和 7 篇短论文。
引用
@article{arxiv.2311.08987,
title = {Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems},
author = {Marie Farrell and Matt Luckcuck and Mario Gleirscher and Maike Schwammberger},
journal= {arXiv preprint arXiv:2311.08987},
year = {2023}
}