第三届自主系统形式化方法研讨会会议论文集
计算机科学中的逻辑
2021-10-25 v1 人工智能
机器人学
摘要
自主系统高度复杂，并为形式化方法的应用带来独特挑战。自主系统在无人干预下运行，且常嵌入于机器人系统中，从而可与真实世界交互。因此，它们表现出安全关键、信息物理、混成与实时系统的特性。本 EPTCS 卷收录了第三届自主系统形式化方法研讨会（FMAS 2021）的会议论文集，该研讨会于 2021 年 10 月 21 日至 22 日以线上形式举行。与往届相同，FMAS 2021 作为对持续 COVID-19 限制措施的适应，是一个独立的线上活动。尽管这带来了挑战，我们仍决心在前两届 FMAS 研讨会成功的基础上继续推进。FMAS 的目标是将使用形式化方法应对自主系统独特挑战的顶尖研究者汇聚一堂，展示近期与正在进行的工作。我们关注利用形式化方法对自主和/或机器人系统进行规约、建模或验证（整体或部分）。我们也关注成功的工业应用以及这一新兴形式化方法应用的未来潜在方向。
引用
@article{arxiv.2110.11527,
title = {Proceedings Third Workshop on Formal Methods for Autonomous Systems},
author = {Marie Farrell and Matt Luckcuck},
journal= {arXiv preprint arXiv:2110.11527},
year = {2021}
}