Jim Woodcock

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

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

論文

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

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

• 農業ロボットの確率的モデリングと安全性保証：光処理作業を例に
  安全性保証2025/6/1

  農業ロボットの障害物・人間検知回避の安全性を、状態機械と確率モデル検査で初期設計段階から評価する枠組みを提案した。

• 自己適応ロボティクスのソフトウェア工学：研究アジェンダ
  自己適応ロボティクス2025/5/1

  動的環境で自律的に適応するロボットのためのソフトウェア工学の研究課題を、開発ライフサイクルとデジタルツイン・AI適応技術の両面から整理し、2030年に向けたロードマップを提示した。

• New Opportunities for Integrated Formal Methods
  2018/12/1
• From Formalised State Machines to Implementations of Robotic Controllers
  2017/2/1