Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems

要約

この EPTCS 巻には、2023 年 11 月 15 日と 16 日に開催された第 5 回自律システム形式手法に関する国際ワークショップ (FMAS 2023) の議事録が含まれています。FMAS 2023 は、第 18 回統合形式手法に関する国際会議 (iFM) と同時開催されました。
) (iFM’22)、ライデン大学ライデン先端コンピュータサイエンス研究所が主催。
ワークショップ自体は、運河沿いにある 19 世紀の毛布工場を改装したシェルテマ ライデンで開催されました。
FMAS 2023 には 25 件の応募がありました。
11 件の通常論文、3 件の経験報告、6 件の研究プレビュー、および 5 件のビジョン論文を受け取りました。
FMAS 2023 に論文を提出した研究者は、オーストラリア、カナダ、コロンビア、フランス、ドイツ、アイルランド、イタリア、オランダ、スウェーデン、英国、米国の機関からの者でした。
3 年連続で投稿数が増加していることは、FMAS が自律システムの正式なモデリングと検証に関する研究の信頼できる出版機関としての地位を確立していることを示す心強い兆候です。
各論文がプログラム委員会の 3 人のメンバーによって審査された後、8 つの長い論文と 7 つの短い論文の合計 15 件の論文が受理されました。

要約(オリジナル)

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.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google