要約
この EPTCS ボリュームには、2024 年 11 月 11 日から 13 日まで開催された第 6 回自律システムのための形式手法に関する国際ワークショップ (FMAS 2024) の論文が含まれています。FMAS 2024 は、第 19 回統合形式手法に関する国際会議 (iFM) と同時開催されました。
’24)、英国マンチェスター大学主催、マンチェスター大学コアテクノロジー
施設。
要約(オリジナル)
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.
arxiv情報
| 著者 | Matt Luckcuck,Mengwei Xu |
| 発行日 | 2024-11-20 11:21:22+00:00 |
| arxivサイト | arxiv_id(pdf) |
提供元, 利用サービス
arxiv.jp, Google