自律ロボットシステムの形式仕様と検証：サーベイ
Formal Specification and Verification of Autonomous Robotic Systems: A Survey
自律ロボットの形式仕様・検証に関する研究を体系的に調査し、課題・形式手法・アプローチを分類したサーベイ論文。
著者: Matt Luckcuck, Marie Farrell, Louise Dennis, Clare Dixon, Michael Fisher
分類: cs.FL, cs.RO
原文アブストラクト
Autonomous robotic systems are complex, hybrid, and often safety-critical; this makes their formal specification and verification uniquely challenging. Though commonly used, testing and simulation alone are insufficient to ensure the correctness of, or provide sufficient evidence for the certification of, autonomous robotics. Formal methods for autonomous robotics has received some attention in the literature, but no resource provides a current overview. This paper systematically surveys the state-of-the-art in formal specification and verification for autonomous robotics. Specially, it identifies and categorises the challenges posed by, the formalisms aimed at, and the formal approaches for the specification and verification of autonomous robotics.
