自律システムのための形式手法 第2回ワークショップ論文集
Proceedings Second Workshop on Formal Methods for Autonomous Systems
自律システムやロボットシステムへの形式手法の適用に関する研究を集めたワークショップの論文集で、仕様記述・モデル化・検証や産業応用の動向を扱う。
著者: Matt Luckcuck, Marie Farrell
分類: cs.LO, cs.AI, cs.RO
原文アブストラクト
Autonomous systems are highly complex and present unique challenges for the application of formal methods. Autonomous systems act without human intervention, and are often embedded in a robotic system, so that they can interact with the real world. As such, they exhibit the properties of safety-critical, cyber-physical, hybrid, and real-time systems. The goal of FMAS is to bring together leading researchers who are tackling the unique challenges of autonomous systems using formal methods, to present recent and ongoing work. We are interested in the use of formal methods to specify, model, or verify autonomous or robotic systems; in whole or in part. We are also interested in successful industrial applications and potential future directions for this emerging application of formal methods.
