Michael Fisher

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

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

論文

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

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

• ロボティクス・自律システムの初期開発における自律性と安全性保証
  安全性保証2025/1/1

  自律検査ロボットの安全性保証に関する課題や証拠、保証ケースの違いを議論したワークショップの報告。

• ROSMonitoring 2.0：ROSランタイム検証をサービスと順序付きトピックへ拡張
  ランタイム検証2024/11/1

  ROSアプリの実行時検証フレームワークROSMonitoringを拡張し、トピックに加えてサービスやメッセージの順序も監視できるようにした。消防用UAVのケーススタディで有効性を示した。

• 自律システム検証におけるグランドチャレンジ
  検証2024/11/1

  自律システムの安全性・正しさを保証する検証技術が直面する課題を整理し、今後の研究方向性を示したロードマップ論文。

• Towards Compositional Verification for Modular Robotic Systems
  2020/12/1
• Heterogeneous Verification of an Autonomous Curiosity Rover
  2020/7/1
• Towards a Framework for Certification of Reliable Autonomous Systems
  2020/1/1
• Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
  2019/9/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
• A Corroborative Approach to Verification and Validation of Human--Robot Teams
  2016/8/1