Matt Luckcuck

収録論文 17本 ・ フィジカルAI/ロボット学習

※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。

論文

• 予測型Varanus：CSP適合性監視と予測的LTLランタイム検証の融合
  ランタイム検証2026/9/15

  CSPモデルによる適合性チェックと予測的LTLランタイム検証を組み合わせ、ロボットシステムの違反を事前に検出する二段階パイプラインを提案し、原子力貯蔵施設点検ローバーで有効性を示した。

• 信頼性の高い自律システムの構築：課題と解決策
  自律システム2026/6/1

  自律システムの信頼性を高めるための課題と解決策をまとめたワークショップ報告書であり、検証・実世界応用・安全なソフトウェアアーキテクチャの3分野に焦点を当て、今後の研究と産業協力のロードマップを提示している。

• 危険環境における説明可能な自律性のための抽象アーキテクチャ
  説明可能AI/自律システム2026/6/1

  自律ロボットシステムの信頼性向上のため、説明可能性を設計段階から組み込む抽象アーキテクチャを提案し、原子力産業での適用例を示した論文。

• 自律システムのための形式手法に関する第7回国際ワークショップ論文集
  形式手法2025/11/1

  自律システムへの形式手法適用に関する第7回国際ワークショップ（FMAS 2025）の論文集で、12カ国から16件の投稿を集めた。

• 自律ロボットのための形式手法再訪：構造化サーベイ
  形式手法2025/9/1

  自律ロボットシステムへの形式手法の適用に関する構造化文献レビューを行い、使用される形式手法や形式主義を分類し、時系列での傾向の変化を分析した。

• 自律システムのための形式手法に関する第6回国際ワークショップ論文集
  形式手法2024/11/1

  自律システムへの形式手法適用に関する第6回国際ワークショップ（FMAS 2024）の論文を収録した論文集である。

• Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems
  2023/11/1
• Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)
  2022/9/1
• Modelling the Turtle Python library in CSP
  2022/7/1
• Proceedings Third Workshop on Formal Methods for Autonomous Systems
  2021/10/1
• Towards Compositional Verification for Modular Robotic Systems
  2020/12/1
• Proceedings Second Workshop on Formal Methods for Autonomous Systems
  2020/12/1
• Heterogeneous Verification of an Autonomous Curiosity Rover
  2020/7/1
• Offline Runtime Verification of Safety Requirements using CSP
  2020/7/1
• Modular Verification of Autonomous Space Robotics
  2019/8/1
• Formal Specification and Verification of Autonomous Robotic Systems: A Survey
  2018/7/1
• Robotics and Integrated Formal Methods: Necessity meets Opportunity
  2018/5/1